circuits-tools

Small reusable helpers used by the *-axioma verification executables across the circuits ecosystem. Nothing here is part of the public library API of circuits itself.