Selected Tags

Click on a tag to remove it

Logic packages

Showing projects tagged as Algorithms and Logic

  • toysolver

    9.3 8.2 Haskell
    My sandbox for experimenting with solver algorithms.
  • ersatz

    9.0 3.6 Haskell
    A monad for interfacing with external SAT solvers