Skip to content

drancom/minisatp

 
 

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

Packages

No packages published