qubovert

1.2.5
352.21k

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