Skip to content

damelang/precosat

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
LICENSE
LICENSE
 
 
README
README
 
 
VERSION
VERSION
 
 
configure
configure
 
 
makefile.in
makefile.in
 
 
mkconfig
mkconfig
 
 
precobnr.cc
precobnr.cc
 
 
precobnr.hh
precobnr.hh
 
 
precomain.cc
precomain.cc
 
 
precosat.cc
precosat.cc
 
 
precosat.hh
precosat.hh
 
 

Repository files navigation

These are the sources of the SAT solver PrecoSAT.

To build issue

  ./configure && make

for compilation options see './configure -h'.

About

Armin Biere's PrecoSAT SAT solver

fmv.jku.at/precosat

Resources

Readme

License

MIT license
Activity

Stars

6 stars

Watchers

2 watching

Forks

2 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages