GitHub - damelang/precosat: Armin Biere's PrecoSAT SAT solver

Name		Name	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'.

Armin Biere's PrecoSAT SAT solver

fmv.jku.at/precosat

No releases published

No packages published