The geometry of gaussoids

This page contains supplemental material for The Geometry of Gaussoids.

Please send any feedback to Thomas Kahle.

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