Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adding new implementation of LEXSAT. | Alan Mishchenko | 2016-04-12 | 1 | -1/+6 |
* | Corner-case bug fix in 'satclp' with conflict limit. | Alan Mishchenko | 2016-03-25 | 1 | -5/+10 |
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-11-09 | 1 | -4/+180 |
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-11-09 | 1 | -3/+3 |
* | Improvements to 'satclp' (unfinished). | Alan Mishchenko | 2015-11-06 | 1 | -54/+163 |
* | Improvements to 'satclp' (unfinished). | Alan Mishchenko | 2015-11-06 | 1 | -8/+344 |
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-10-28 | 1 | -10/+161 |
* | Set the default cube limit in 'satclp' to be 0. | Alan Mishchenko | 2015-10-23 | 1 | -2/+2 |
* | Quality improvement in 'satclp'. | Alan Mishchenko | 2015-10-22 | 1 | -2/+85 |
* | Minor tuning in 'satclp'. | Alan Mishchenko | 2015-10-22 | 1 | -10/+18 |
* | Corner case bug in 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -3/+6 |
* | Code inserts to profile runtime of 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -0/+24 |
* | Additional improvements in 'satclp'. | Alan Mishchenko | 2015-10-18 | 1 | -1/+1 |
* | Additional improvements in 'satclp'. | Alan Mishchenko | 2015-10-18 | 1 | -1/+162 |
* | Added approximate SAT-based irredundant procedure to 'satclp'. | Alan Mishchenko | 2015-10-17 | 1 | -0/+80 |
* | Bug fix in 'satclp -r'. | Alan Mishchenko | 2015-10-16 | 1 | -1/+4 |
* | New switch 'satclp -r' to reverse variable order. | Alan Mishchenko | 2015-10-07 | 1 | -6/+10 |
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-04 | 1 | -50/+122 |
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-04 | 1 | -71/+148 |
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-03 | 1 | -0/+227 |