Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Various changes. | Alan Mishchenko | 2021-10-06 | 1 | -38/+55 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-30 | 1 | -0/+72 |
| | |||||
* | Upgrading choice computation. | Alan Mishchenko | 2021-07-31 | 1 | -1/+2 |
| | |||||
* | Adding generation of combinational speculative miters. | Alan Mishchenko | 2020-12-16 | 1 | -4/+13 |
| | |||||
* | Passing conflict limit to &cec. | Alan Mishchenko | 2020-11-22 | 1 | -1/+2 |
| | |||||
* | Removing unused printouts. | Alan Mishchenko | 2020-11-22 | 1 | -2/+1 |
| | |||||
* | Integration with several commands. | Alan Mishchenko | 2020-11-19 | 1 | -0/+44 |
| | |||||
* | Improvements to the SAT sweeper. | Alan Mishchenko | 2020-11-16 | 1 | -12/+52 |
| | |||||
* | Extending sweeper to handle XORs. | Alan Mishchenko | 2020-11-16 | 1 | -17/+43 |
| | |||||
* | Extending sweeper to handle XORs. | Alan Mishchenko | 2020-11-15 | 1 | -36/+123 |
| | |||||
* | Improvements to the SAT sweeper (bug fix). | Alan Mishchenko | 2020-11-15 | 1 | -1/+1 |
| | |||||
* | Sweeping up to a given level (bug fix). | Alan Mishchenko | 2020-11-15 | 1 | -2/+2 |
| | |||||
* | Sweeping up to a given level. | Alan Mishchenko | 2020-11-14 | 1 | -1/+5 |
| | |||||
* | Improvements to the SAT solver. | Alan Mishchenko | 2020-11-14 | 1 | -3/+3 |
| | |||||
* | Improvements to the SAT sweeper (bug fix). | Alan Mishchenko | 2020-11-14 | 1 | -0/+1 |
| | |||||
* | Improvements to the SAT sweeper. | Alan Mishchenko | 2020-11-14 | 1 | -49/+76 |
| | |||||
* | Upgrading the SAT solvers. | Alan Mishchenko | 2020-11-14 | 1 | -5/+7 |
| | |||||
* | Improvements to the SAT sweeper. | Alan Mishchenko | 2020-11-13 | 1 | -161/+366 |
| | |||||
* | Adding and integrating new SAT solver APIs. | Alan Mishchenko | 2020-11-13 | 1 | -30/+72 |
| | |||||
* | Duplicating Glucose package. | Alan Mishchenko | 2020-11-12 | 1 | -33/+69 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-11 | 1 | -30/+43 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-10 | 1 | -67/+209 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-09 | 1 | -0/+1153 |