Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Admin message

Do not update/delete: Banner broadcast message test data

Admin message

Do not update/delete: Notification broadcast message test data

C

clojure-sat-solver

Copy SSH clone URLgit@staging.gitlab.com:phlyk-portfolio/clojure-sat-solver.git
Copy HTTPS clone URLhttps://staging.gitlab.com/phlyk-portfolio/clojure-sat-solver.git

The repository for this project is empty

Project information

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.

clojure Rewriting sy... sat

+ 1 more

Created on

March 29, 2017