R
Rewriting system
Projects with this topic
-
A Sudoku SAT solver written in Clojure. Sudoku game was encoded into a huge data set of boolean logical propositions, then were rewritten and solved using DPLL algorithm.
Updated
Do not update/delete: Banner broadcast message test data
Do not update/delete: Notification broadcast message test data
A Sudoku SAT solver written in Clojure. Sudoku game was encoded into a huge data set of boolean logical propositions, then were rewritten and solved using DPLL algorithm.