aboutsummaryrefslogtreecommitdiff
path: root/src/libsok/sok-solve.c
AgeCommit message (Expand)AuthorFilesLines
2019-01-08add is_done (busted, disabled)Paul Duncan1-0/+8
2019-01-08add sok_ctx_hash, cache, solver fixesPaul Duncan1-23/+27
2019-01-08simplify move logic, add cache and solverPaul Duncan1-0/+77