This Python library is a friendlier version of this C++ one, whose purpose was to test the heuristics proposed in this article.
- generalized AST operations
- documented code
- more natural test generator
- way more flexible CLI
pip install rich questionary
git clone [email protected]:gareth618/abepy.git
cd abepypython generator.pyThe CLI will ask you for the name of the file you want to create and in which dataset should it be put. Then, you will prompt it with the parameters of the formulas you want to generate.
You can easily find in code the parameters that can be adjusted (they are always default function arguments). Also, you can add your own heuristic by just defining it in heuristics.py.
python main.pyThe CLI will ask you what heuristics you want to run and on which dataset. At the end, it will show a beautiful table with stats. Finally, {dataset}/results/{heuristic}/{filename} will contain the best formulas found for each entry in {dataset}/{filename} when running {heuristic}.
