GitHub repository: jtiosue/qubovert
Primary language: Python
Description: The one-stop package for formulating, simulating, and solving problems in boolean and spin form