aboutsummaryrefslogtreecommitdiff
path: root/src/core/sok.h
AgeCommit message (Expand)AuthorFilesLines
2019-01-21use dead edges to improve solver speedPaul Duncan1-0/+6
2019-01-20solve: check for cornersPaul Duncan1-2/+2
2019-01-15add sok_solve_cbs_t and refactor code to use itPaul Duncan1-1/+7
2019-01-15s/libsok/core/gPaul Duncan1-0/+257