Arlib

Arlib is toolkit for automated reasoning.

Milestones

• Make setup.py work (release the repo as a Python library )

Installation

• Install the requirement packages following requirements.txt

  pip install -r requirements.txt
  

• (Optional) Download all binary solvers in the dir bin_solvers

Usage

See docs/index.rst

Research Topics

For Summer Research, Honours/Master Thesis Project Topics, please refer to docs/topics.rst

Contributors

Primary contributors to this project:

• rainoftime
• JasonJ2021
• ZelinMa557
• Harrywwq