Allow Sat4j to provide unsat proofs in RUP format
There is a new track for certifying unsat proofs. It should not be difficult to allow sat4j to participate by implementing an unsat proof search listener.
There is a new track for certifying unsat proofs. It should not be difficult to allow sat4j to participate by implementing an unsat proof search listener.