2019-03-26 | Aina Niemetz | Update copyright headers. | tree | commitdiff |
2019-03-16 | Alex Ozdemir | Enable CryptoMiniSat-backed BV proofs (#2847) | tree | commitdiff |
2019-01-09 | Alex Ozdemir | LFSC drat output (#2776) | tree | commitdiff |
2019-01-06 | Alex Ozdemir | [DRAT] DRAT data structure (#2767) | tree | commitdiff |