File: README

package info (click to toggle)
picosat 965-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, trixie
  • size: 568 kB
  • sloc: ansic: 15,831; makefile: 171; sh: 158
file content (5 lines) | stat: -rw-r--r-- 187 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
 
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'.