Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Kuschelwolke
Hidoku Solver
Repository
Branches
Overview
Active
Stale
All
master
default
4f587a2c
·
Removed old hidokus.
·
Jun 26, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpp_bimander
bb2ceedb
·
Fixed Bimander Algo: sign was missing in the disjoints of the second algo-step.
·
Jun 22, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpp_port
merged
e8c13725
·
Remve debug output from riss. Fixes
#3
·
Jun 20, 2014
Compare
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
snake_and_circle
merged
687641c5
·
Clean up code
·
Jun 11, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tail_solving
merged
a7d450ee
·
Fixed list copy: used deepcopy
·
Jun 03, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
unassigned-only
merged
74b7d2f4
·
Only use unassigned numbers for CNF clause generation
·
Jun 02, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar