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:

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