Branches · Kuschelwolke / Hidoku Solver · GitLab

Stale branches

unassigned-only merged

74b7d2f4 · Only use unassigned numbers for CNF clause generation · Jun 02, 2014

Compare

Download source code

zip tar.gz tar.bz2 tar
tail_solving merged

a7d450ee · Fixed list copy: used deepcopy · Jun 03, 2014

Compare

Download source code

zip tar.gz tar.bz2 tar
snake_and_circle merged

687641c5 · Clean up code · Jun 11, 2014

Compare

Download source code

zip tar.gz tar.bz2 tar
bimander merged

cb64b8fe · Modified cnf_support to 'double encoding' of the cells to get continuous numbers. · Jun 17, 2014

Compare

Download source code

zip tar.gz tar.bz2 tar
cpp_port merged

e8c13725 · Remve debug output from riss. Fixes #3 · Jun 20, 2014

Compare

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches