Home / Computer science / SAT solver
Practice implementation: Emacs Lisp
A simple CNF-only SAT solver in Emacs Lisp based on DFS and
the AC-3 (Arc Consistency #3) algorithm
from the 1970s.
Home / Computer science / SAT solver
A simple CNF-only SAT solver in Emacs Lisp based on DFS and
the AC-3 (Arc Consistency #3) algorithm
from the 1970s.