Important: I started working on this code years ago when I had little idea on good coding practices for easy debugging, shareability, and maintenance. As a consequence, this code is most likely hard to read/use (apologies!) (I may redesign the repository later in the future but for now this is not on my priority list)
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