Simple, Incremental SAT Solving as a Haskell Library
Why do you think that https://github.com/kawu/sgd is a good alternative to incremental-sat-solver
Simple, Incremental SAT Solving as a Haskell Library
Why do you think that https://github.com/kawu/sgd is a good alternative to incremental-sat-solver