sugarrush

I have released my PySAT extension as an open source package. It's called sugarrush. Get it with:

pip3 install sugarrush

It requires PySAT:

pip3 install python-sat

I wrote this package because I wanted automatic bookkeeping of variables with PySAT, and also to add extra constructs. The design goal is to make it possible to write constraints in a way that is easy to understand, and that looks neat.

See my blog posts that use sugarrush:

• Langford sequences
• Disjunction
• Parity board
• 1D interval selection
• 2D interval selection