A package for formulating, simulating, and solving problems in boolean and spin form
pip install qubovert