/cqf

Conjunctive Query Fun, or "How to use a database for SAT solving"

No issues in this repository yet.