Selected Tags

Click on a tag to remove it

Logic packages

Showing projects tagged as Algorithms and Logic

  • toysolver

    9.3 4.1 Haskell
    My sandbox for experimenting with solver algorithms.

  • ersatz

    8.9 6.3 Haskell
    A monad for interfacing with external SAT solvers