Closed mpeuster closed 5 years ago
test runs with CNFs. This commit should be reverted once the validator supports CNFs.
Signed-off-by: peusterm manuel.peuster@uni-paderborn.de
test runs with CNFs. This commit should be reverted once the validator supports CNFs.
Signed-off-by: peusterm manuel.peuster@uni-paderborn.de