Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-01-08 | speed up sok_ctx_is_done() | Paul Duncan | 1 | -0/+4 |
2019-01-08 | add sok_ctx_hash, cache, solver fixes | Paul Duncan | 1 | -3/+9 |
2019-01-08 | simplify move logic, add cache and solver | Paul Duncan | 1 | -0/+27 |
2019-01-07 | reorganize src/, add support for RLE | Paul Duncan | 1 | -0/+181 |