Skip to content

The Standard Interface for Incremental Satisfiability Solving

License

Notifications You must be signed in to change notification settings

biotomas/ipasir

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

59 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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