ipasir.h reentrant incremental sat solver API (reverse)
makefile with goals 'all' and 'clean'
scripts/mkone.sh produces one combination of an application and a SAT solver
scripts/mkall.sh produces all combinations
scripts/mkcln.sh cleans up everything
app application directory
sat SAT solver directory
bin binaries of all combinations
sat/README explains the SAT solver directory
app/README explains the apps directory
LICENSE generic license for parts of this software not
explicitly covered by its own license restrictions,
which can be found in the corresponding LICENSE or
COPYRIGHT file in a sub directory or in a distribution
package, such as in an included tar or zip file