Skip to content

AlloyTools/minisatprover

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

26 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

================================================================================
Quick Install

- Install MiniSat somewhere. Follow instructions in MiniSat's README.

- Configure MiniSat+ using the same "prefix" as for MiniSat. This will
  set up include-paths etc in the most simple way.

- Build with "make" and install with "make install".


About

The Pseudo-Boolean Solver MiniSat+

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 60.2%
  • C 39.6%
  • Shell 0.2%