A list of things I want to get done in the very near future.

[ianamason]

• Make it a pip package
• Incorporate the unsat core stuff from the yices_python_bindings sudoku directory.
• See if I can incorporate @dlbeer's game generation code (Python).
• See if I can incorporate @dlbeer's game generation code (C).
• See if there is anything interesting to be said about "Game difficulty". @dlbeer has a couple of rough metrics. The unsat core approach can also be used here, which will give a metric independent of a particular search algorithm, though is going to be slow.
• See if the QuickXPlain algorithm can be used to speed up the core filtering.
• Fix those damn fonts.
• Use Yices instead of constraint solving in the game generation phase. This is not obvious.
• Write accurate documentation
• Make the puzzle as easy to use as, say WebSudoku, and perhaps even better.
• Cast the spells needed for building on Windows (export attributes on the sugen API)
• Add some UI for the hints, and SOFA to visualize.