C
clojure
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 -
An example of calling C code from Clojure through JNI.
Updated -
Or: How I Learned to Stop Worrying and Love the Datalog.
Updated -
An extremely lightweight, not very performant, non-distributed database and datalog query engine for clojure.
Updated