Closed pradyunsg closed 3 weeks ago
I started looking into porting an existing SAT solver, but this lack of separation makes it non-trivial to organise the relevant code.
Making this change to simplify that, as well as create a more explicit separation of abstract vs concrete here.
This PR is best reviewed commit-by-commit. :)
I started looking into porting an existing SAT solver, but this lack of separation makes it non-trivial to organise the relevant code.
Making this change to simplify that, as well as create a more explicit separation of abstract vs concrete here.
This PR is best reviewed commit-by-commit. :)