SAT solver for relations (experimental)
Primary LanguagePythonGNU General Public License v3.0GPL-3.0
pip3 install -e .