3 projects
barely
barely is a lightweight, but highly extensible static site generator written in pure python.
ssc-compiler
Describe generalized Sudokus through simple equations. Compile programs to SAT and solve them with limboole.
sudoku-sat
Solve and generate basic Sudokus and Sudokus with an extended set of rules.
