GitHub - ds-gurukandhamoorthi/constraint-programming: Solve some puzzles using constraints (z3py)

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 81 Commits
.gitignore		.gitignore
more_z3.py		more_z3.py
puzzles_common.py		puzzles_common.py
solve-akari.py		solve-akari.py
solve-aqre.py		solve-aqre.py
solve-aye-heya.py		solve-aye-heya.py
solve-aye2-heya.py		solve-aye2-heya.py
solve-baggu.py		solve-baggu.py
solve-campixu.py		solve-campixu.py
solve-canal-view.py		solve-canal-view.py
solve-chocona.py		solve-chocona.py
solve-dominosa.py		solve-dominosa.py
solve-doppelblock.py		solve-doppelblock.py
solve-ebony-ivory.py		solve-ebony-ivory.py
solve-faktorism.py		solve-faktorism.py
solve-filling.py		solve-filling.py
solve-fobidoshi.py		solve-fobidoshi.py
solve-fuzuli.py		solve-fuzuli.py
solve-gappy.py		solve-gappy.py
solve-grades.py		solve-grades.py
solve-hanare.py		solve-hanare.py
solve-heyawake.py		solve-heyawake.py
solve-hidato.py		solve-hidato.py
solve-hitori.py		solve-hitori.py
solve-irasuto.py		solve-irasuto.py
solve-kakurasu.py		solve-kakurasu.py
solve-kakuro.py		solve-kakuro.py
solve-keen.py		solve-keen.py
solve-killer-sudoku.py		solve-killer-sudoku.py
solve-kojun.py		solve-kojun.py
solve-kuriku.py		solve-kuriku.py
solve-kuroshuto.py		solve-kuroshuto.py
solve-lampions.py		solve-lampions.py
solve-magnets.py		solve-magnets.py
solve-makaro.py		solve-makaro.py
solve-mathrax.py		solve-mathrax.py
solve-mosaic.py		solve-mosaic.py
solve-nanbaboru.py		solve-nanbaboru.py
solve-nanro.py		solve-nanro.py
solve-nondango.py		solve-nondango.py
solve-norinori.py		solve-norinori.py
solve-nuribou.py		solve-nuribou.py
solve-nurikabe.py		solve-nurikabe.py
solve-palisade.py		solve-palisade.py
solve-pattern.py		solve-pattern.py
solve-pillen.py		solve-pillen.py
solve-putteria.py		solve-putteria.py
solve-range.py		solve-range.py
solve-renban.py		solve-renban.py
solve-ripple-effect.py		solve-ripple-effect.py
solve-schlange.py		solve-schlange.py
solve-shikaku.py		solve-shikaku.py
solve-slitherlink.py		solve-slitherlink.py
solve-str8ts.py		solve-str8ts.py
solve-suguru.py		solve-suguru.py
solve-sukoro.py		solve-sukoro.py
solve-tairupeinto.py		solve-tairupeinto.py
solve-takuzu.py		solve-takuzu.py
solve-tatami.py		solve-tatami.py
solve-tents.py		solve-tents.py
solve-thermometer.py		solve-thermometer.py
solve-towers.py		solve-towers.py
solve-tracks.py		solve-tracks.py
solve-unequal.py		solve-unequal.py
solve-usoone.py		solve-usoone.py
solve-yakuso.py		solve-yakuso.py
solve-zahlenkreuz.py		solve-zahlenkreuz.py
solve-zehnergitter.py		solve-zehnergitter.py
solve-zipline.py		solve-zipline.py