ipasir

ipasir copied to clipboard

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