@hackage / sat-micro-hs

A minimal SAT solver

Latest0.1.1

About

Metadata

  • Last updated , by DenisBueno
  • License LicenseRef-LGPL
  • Categories Algorithms

  • Maintained by: Denis Bueno <dbueno@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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.