Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Standardizing the use of new CNF generator. Adding CNF variable connectivity ... | Alan Mishchenko | 2017-02-10 | 1 | -3/+1 |
* | Autotuner for 'satoko'. | Alan Mishchenko | 2017-02-08 | 1 | -2/+6 |
* | Compiler warning. | Alan Mishchenko | 2017-02-08 | 1 | -1/+1 |
* | New command &satoko. | Alan Mishchenko | 2017-02-08 | 1 | -0/+126 |