Automation scripts for the flatsurf stack to survey large sets of objects.

To perform a full survey, use flatsurvey. To investigate a single object, run flatsurvey-worker.

For example, here is a typical survey that collects data about triangles, quadrilaterals, and pentagons:

nice flatsurvey ngons --vertices 3 ngons --vertices 4 ngons --vertices 5 orbit-closure log graphql

• For large surveys, RAM might become the limiting factor. It appears that we are not actually leaking memory but are hit by memory fragmentation during the Boshernitzan criterion. The issue can be fully mitigated by replacing malloc with Mesh, i.e., setting LD_PRELOAD=/path/to/libmesh.so.