Arlib is toolkit for automated reasoning.
- Make setup.py work (release the repo as a Python library )
- Install the requirement packages following
requirements.txt
pip install -r requirements.txt
- (Optional) Download all binary solvers in the dir
bin_solvers
See docs/index.rst
For Summer Research, Honours/Master Thesis Project Topics, please refer to
docs/topics.rst
Primary contributors to this project:
- rainoftime
- JasonJ2021
- ZelinMa557
- Harrywwq