2019-03-26 | Aina Niemetz | Update copyright headers. | tree | commitdiff |
2019-01-18 | Alex Ozdemir | Extract DIMACS Printing (#2800) | tree | commitdiff |
2019-01-13 | Alex Ozdemir | LFSC LRAT Output (#2787) | tree | commitdiff |
2019-01-12 | Alex Ozdemir | LratInstruction inheritance (#2784) | tree | commitdiff |
2019-01-11 | Alex Ozdemir | Fixed linking against drat2er, and use drat2er (#2785) | tree | commitdiff |
2019-01-04 | Alex Ozdemir | [LRAT] A C++ data structure for LRAT. (#2737) | tree | commitdiff |