Skip to content

se-sic/picoSAT-vara

 
 

Repository files navigation

These are the sources of the PicoSAT solver.
The preprocessor is not included.
To compile run './configure.sh && make'.
The API is document in 'picosat.h'.
See also 'NEWS' and 'LICENSE'.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 98.5%
  • Shell 1.5%