SAT

A simple SAT solver based on DPLL.

Build status: ok failing tests missing license metadata

Documentation README Code
Authors
Documentation
Tags
    License
      Last updatedSaturday, January 8th, 2022 2:02:39am (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaultgit://github.com/Kraks/SAT.rkt68cf0699f447d2c420db3b8a03fe83163af62dbe
      Last checkedFriday, April 26th, 2024 6:08:46pm (UTC)
      Last editedFriday, October 13th, 2017 1:56:58am (UTC)
      Date addedN/A
      Modules
      • SAT/scribblings/SAT.scrbl
      • SAT/lib/sat.rkt
      • SAT/main.rkt
      • SAT/lib/dplb.rkt
      • SAT/lib/utils.rkt
      • SAT/lib/dpll.rkt
      • SAT/test.rkt
      • SAT/lib/dpli.rkt
      • SAT/lib/parser.rkt
      • SAT/lib/dp.rkt