├── .gitignore ├── clean.sh ├── cryptominisat ├── glucose_static ├── hexiom_config.py ├── hexiom_solve.py ├── levels ├── level00.txt ├── level01.txt ├── level02.txt ├── level03.txt ├── level04.txt ├── level05.txt ├── level06.txt ├── level07.txt ├── level08.txt ├── level09.txt ├── level10.txt ├── level11.txt ├── level12.txt ├── level13.txt ├── level14.txt ├── level15.txt ├── level16.txt ├── level17.txt ├── level18.txt ├── level19.txt ├── level20.txt ├── level21.txt ├── level22.txt ├── level23.txt ├── level24.txt ├── level25.txt ├── level26.txt ├── level27.txt ├── level28.txt ├── level29.txt ├── level30.txt ├── level31.txt ├── level32.txt ├── level33.txt ├── level34.txt ├── level35.txt ├── level36.txt ├── level37.txt ├── level38.txt ├── level39.txt └── level40.txt ├── lingeling ├── readme.md ├── sat_in └── .placeholder ├── sat_out └── .placeholder └── scratch └── .placeholder /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/.gitignore -------------------------------------------------------------------------------- /clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/clean.sh -------------------------------------------------------------------------------- /cryptominisat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/cryptominisat -------------------------------------------------------------------------------- /glucose_static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/glucose_static -------------------------------------------------------------------------------- /hexiom_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/hexiom_config.py -------------------------------------------------------------------------------- /hexiom_solve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/hexiom_solve.py -------------------------------------------------------------------------------- /levels/level00.txt: -------------------------------------------------------------------------------- 1 | 1 2 | . 3 | -------------------------------------------------------------------------------- /levels/level01.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level01.txt -------------------------------------------------------------------------------- /levels/level02.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level02.txt -------------------------------------------------------------------------------- /levels/level03.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level03.txt -------------------------------------------------------------------------------- /levels/level04.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level04.txt -------------------------------------------------------------------------------- /levels/level05.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level05.txt -------------------------------------------------------------------------------- /levels/level06.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level06.txt -------------------------------------------------------------------------------- /levels/level07.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level07.txt -------------------------------------------------------------------------------- /levels/level08.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level08.txt -------------------------------------------------------------------------------- /levels/level09.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level09.txt -------------------------------------------------------------------------------- /levels/level10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level10.txt -------------------------------------------------------------------------------- /levels/level11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level11.txt -------------------------------------------------------------------------------- /levels/level12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level12.txt -------------------------------------------------------------------------------- /levels/level13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level13.txt -------------------------------------------------------------------------------- /levels/level14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level14.txt -------------------------------------------------------------------------------- /levels/level15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level15.txt -------------------------------------------------------------------------------- /levels/level16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level16.txt -------------------------------------------------------------------------------- /levels/level17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level17.txt -------------------------------------------------------------------------------- /levels/level18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level18.txt -------------------------------------------------------------------------------- /levels/level19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level19.txt -------------------------------------------------------------------------------- /levels/level20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level20.txt -------------------------------------------------------------------------------- /levels/level21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level21.txt -------------------------------------------------------------------------------- /levels/level22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level22.txt -------------------------------------------------------------------------------- /levels/level23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level23.txt -------------------------------------------------------------------------------- /levels/level24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level24.txt -------------------------------------------------------------------------------- /levels/level25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level25.txt -------------------------------------------------------------------------------- /levels/level26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level26.txt -------------------------------------------------------------------------------- /levels/level27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level27.txt -------------------------------------------------------------------------------- /levels/level28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level28.txt -------------------------------------------------------------------------------- /levels/level29.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level29.txt -------------------------------------------------------------------------------- /levels/level30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level30.txt -------------------------------------------------------------------------------- /levels/level31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level31.txt -------------------------------------------------------------------------------- /levels/level32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level32.txt -------------------------------------------------------------------------------- /levels/level33.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level33.txt -------------------------------------------------------------------------------- /levels/level34.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level34.txt -------------------------------------------------------------------------------- /levels/level35.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level35.txt -------------------------------------------------------------------------------- /levels/level36.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level36.txt -------------------------------------------------------------------------------- /levels/level37.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level37.txt -------------------------------------------------------------------------------- /levels/level38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level38.txt -------------------------------------------------------------------------------- /levels/level39.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level39.txt -------------------------------------------------------------------------------- /levels/level40.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/levels/level40.txt -------------------------------------------------------------------------------- /lingeling: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/lingeling -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hugomg/hexiom/HEAD/readme.md -------------------------------------------------------------------------------- /sat_in/.placeholder: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sat_out/.placeholder: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /scratch/.placeholder: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------