The geometry of gaussoids

This page contains supplemental material for The Geometry of Gaussoids and Construction Methods for Gaussoids.

Please send any feedback to Thomas Kahle or Tobias Boege.

Software tools

We used the following SAT solvers:

• c2d, cachet, sharpSAT and DSHARP for #SAT

• bdd_minisat_all etc. for AllSAT.

We record that the older version of sharpSAT offered on the author's homepage produced wrong counts on some of our formulas.

We also extensively used

• sage (in particular the propcalc package to transform Boolean formulas),

• Macaulay2.