Selected Tags

Click on a tag to remove it

Algorithms packages

Showing projects tagged as Logic and Algorithms

  • toysolver

    9.3 4.1 Haskell
    My sandbox for experimenting with solver algorithms.

  • ersatz

    8.9 6.5 Haskell
    A monad for interfacing with external SAT solvers