SAT

A simple SAT solver based on DPLL.

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedThursday, September 20th, 2018 8:59:33pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/Kraks/SAT.rktf7d02e94bea4e5d2e1efcdf5678fc297b23957f5
Last checkedThursday, November 15th, 2018 10:19:33am (UTC)
Last editedFriday, October 13th, 2017 1:56:58am (UTC)
Modules
  • SAT/test.rkt
  • SAT/main.rkt
  • SAT/lib/dpll.rkt
  • SAT/lib/parser.rkt
  • SAT/scribblings/SAT.scrbl