Skip to content
Haskell library for manipulating propositions.
Haskell Shell
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
Data
README.md
Sample.hs
Setup.hs
Test.hs
proposition.cabal
push.bat

README.md

proposition

This code is abandoned.

This library handles propositions, logical formulae consisting of literals without quantification. It automatically simplifies a proposition as it is constructed using simple rules provided by the programmer. Implementations of propositions in terms of an abstract syntax tree and as a Binary Decision Diagram (BDD) are provided. A standard interface is provided for all propositions.

Something went wrong with that request. Please try again.