This PR contains the solver (rewritten to avoid use of flip), a few small changes in response to comments from the last PR, and a suite of tests for the solver.
@bladyjoker
41 / #42 can be done in the next PR. I'll have to rewrite the cycle detection again once I have the stuff from Utils in, there's not much of a point in doing it here only to redo it again tomorrow
40 is a proto-level change that would require a bunch of rewrites and seems out of place here (you told me to keep the PRs small). I'll do it in a standalone PR either before or after I get Utils & co merged
This PR contains the solver (rewritten to avoid use of flip), a few small changes in response to comments from the last PR, and a suite of tests for the solver.
@bladyjoker
41 / #42 can be done in the next PR. I'll have to rewrite the cycle detection again once I have the stuff from
Utilsin, there's not much of a point in doing it here only to redo it again tomorrow40 is a proto-level change that would require a bunch of rewrites and seems out of place here (you told me to keep the PRs small). I'll do it in a standalone PR either before or after I get
Utils& co merged