Ensure watched literals are distinct
Showing
- issues/issue_cc.v 49 additions, 6 deletionsissues/issue_cc.v
- src/cdcl.ml 4 additions, 2 deletionssrc/cdcl.ml
- src/ppprover.ml 12 additions, 3 deletionssrc/ppprover.ml
- theories/Formula.v 278 additions, 33 deletionstheories/Formula.v
- theories/Itauto.v 50 additions, 0 deletionstheories/Itauto.v
- theories/Prover.v 1 addition, 1 deletiontheories/Prover.v
Loading
Please register or sign in to comment