@hackage sat-micro-hs0.1.1

A minimal SAT solver

  • Categories

  • License

    LicenseRef-LGPL

  • Maintainer

    Denis Bueno <dbueno@gmail.com>

  • Links

  • Versions

    • 0.1.1 Wed, 27 Feb 2008
    • 0.1 Wed, 27 Feb 2008

A complete (in the logical sense) SAT solver with non-chronological backtracking. This is a Haskell implementation of (most of) the minimal OCaml solver described in the paper "SAT-MICRO: petit mais costaud!" by Sylvain Conchon, Johannes Kanig, and Stephane Lescuyer.