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

github.com/lorenzleutgeb/cqf

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.