File: README

package info (click to toggle)
picosat 632-1
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 168 kB
  • ctags: 458
  • sloc: ansic: 4,701; sh: 112; makefile: 66
file content (1 line) | stat: -rw-r--r-- 67 bytes parent folder | download
1
This is the PicoSAT solver.  To compile run './configure && make'.