aboutsummaryrefslogtreecommitdiff
path: root/src/core/sok-ctx.c
AgeCommit message (Collapse)AuthorFilesLines
2019-01-21use dead edges to improve solver speedPaul Duncan1-96/+271
2019-01-20solve: check for cornersPaul Duncan1-86/+77
2019-01-15s/libsok/core/gPaul Duncan1-0/+636