Important: This repository is at the early stages of being cleaned up and documented. Please use with caution.
Source code for the paper "Solving word equations via Monte Carlo Tree Search and black-box solvers".
Contact: garreta.a@gmail.com
Directory description:
- we-uct.pdf : paper
- uct: main code files
- solver scripts: python scripts for integrating different string solvers into our algorithms
- test: python script for training or testing algorithms, plus logs of results
- datasets: datasets for testing