c90c7dec

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

Add fail-closed affine RuleCell evidence carrier
GitHub
configure