Satire


Satire is a clone of MiniSat in Python.

Satire


The source is available on GitHub. The clone link is https://github.com/ehebrard/Satire.git (use $git clone https://github.com/ehebrard/Satire.git).