An IPASIR interface to connect applications to Mallob's incremental on-demand SAT solving
Primary LanguageC++