Giters

truekonrads / gchqxmaspuzzle

Solution to the GCHQ xmas puzzle part 1 using a SAT/SMT solver PySMT

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Nonogram solver

Solution to the GCHQ xmas puzzle part 1 using a SAT/SMT solver PySMT

About

Solution to the GCHQ xmas puzzle part 1 using a SAT/SMT solver PySMT

Languages

Language:HTML 62.6%Language:Python 37.4%