Package for formulating, simulating, and solving problems in boolean
and spin form