a better code organization through simple auxiliary functions in the compressed snark benchmark,
The incremental number of constraints brought on by the primary's augmented circuit was not kept in line with the evolution of that circuit. This updates and uses constants + code comments to make that number more maintainable.
This backports the following Arecibo PR: https://github.com/lurk-lab/arecibo/pull/178
At a high level, this offers: