Skip to content
Commit a93822d9 authored by Jakub Janků's avatar Jakub Janků
Browse files

test proofs for sat formulas 

Older drat-trim must be used, see
https://github.com/marijnheule/drat-trim/issues/35
parent 7f5a31fb
Pipeline #335924 passed with stage
in 33 seconds