Monadoc
The latest version of ersatz is 0.5-1.

ersatz

Version 0.2.0.1 revision 0 uploaded by EdwardKmett.

Package meta

Synopsis
A monad for expressing SAT or QSAT problems using observable sharing.
Description

A monad for expressing SAT or QSAT problems using observable sharing.

For example, we can express a full-adder with:

full_adder :: Bit -> Bit -> Bit -> (Bit, Bit)
full_adder a b cin = (s2, c1 || c2)
  where (s1,c1) = half_adder a b
        (s2,c2) = half_adder s1 cin
half_adder :: Bit -> Bit -> (Bit, Bit)
half_adder a b = (a `xor` b, a && b)
Author
Edward A. Kmett, Johan Kiviniemi
Bug reports
http://github.com/ekmett/ersatz/issues
Category
Logic, Algorithms
Copyright
(c) 2010-2013 Edward Kmett, (c) 2013 Johan Kiviniemi
Homepage
http://github.com/ekmett/ersatz
Maintainer
Edward A. Kmett <ekmett@gmail.com>
Package URL
n/a
Stability
experimental

Components