GitHub - grefab/spinpossible: Several solution algorithms for the puzzle problems provided by spinpossible.

Name	Name	Last commit message	Last commit date
Latest commit vale1410 paper readded Feb 19, 2013 60cc8f1 · Feb 19, 2013 History 214 Commits
asp	asp	paper readded	Feb 19, 2013
clojure	clojure	moved dal file to	Oct 1, 2011
cpp	cpp	removed tweak of hash table. it costs 62s for level9.	Oct 3, 2011
erlang/src	erlang/src	initial commit	Sep 23, 2011
modelchecking	modelchecking	added smv model for 3x3 puzzles	Oct 12, 2011
sat	sat	output organized and cnf added.	Apr 16, 2012
.gitignore	.gitignore	added .gitignore	Sep 27, 2011