Corrected a few bugs and expanded tests, but there is still a problem with the calculation.
Switched to linux_x86 libraries.
RectTableau.isAdmissible now uses Google's constraint programming library. But it's the wrong tool--the search for a non-existant solution doesn't terminate quickly.
Implemented RectTableau with Google OR Tools MIP java
interface calling the COIN-OR CBC Library.
Now it works. 3x3x9 still impractical on laptop.
Fixed a bug by negating the AB variables. Fixed
the associated test by negating some of Bravyi's
variables.