GitHub repository: sebfisch/incremental-sat-solver
Primary language: Haskell
Description: Simple, Incremental SAT Solving as a Haskell Library