Rudy’s OBTF
Rudolf Adamkovič
Home
/
Computer science
SAT solver
An algorithm that solves the
Boolean satisfiability problem
.
Practice implementation: Emacs Lisp
© 2025
Rudolf Adamkovič
under
GNU General Public License
version 3.
Made with
Emacs
and secret alien technologies of yesteryear.