SAT

A simple SAT solver based on DPLL.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedFriday, October 13th, 2017 1:56:58am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/Kraks/SAT.rkt596c1270c69d64c383851eeaf7d0f46845ba5fe3
Last checkedFriday, May 25th, 2018 2:54:07pm (UTC)
Last editedFriday, October 13th, 2017 1:56:58am (UTC)
Modules
  • SAT/test.rkt
  • SAT/scribblings/SAT.scrbl
  • SAT/lib/parser.rkt
  • SAT/main.rkt
  • SAT/lib/dpll.rkt