3054a67a

By: ValentinHirschi <valentin.hirschi@gmail.com>

Preserve affine exclusions in rule proofs and prune cover contradictions
GitHub
configure