https://github.com/ndmitchell/proposition

Haskell library for manipulating propositions.
https://github.com/ndmitchell/proposition

Last synced: 25 days ago
JSON representation

Haskell library for manipulating propositions.

• Host: GitHub
• URL: https://github.com/ndmitchell/proposition
• Owner: ndmitchell
• Created: 2013-10-11T10:26:36.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2015-03-17T13:14:10.000Z (over 9 years ago)
• Last Synced: 2024-05-08T20:21:18.432Z (6 months ago)
• Language: Haskell
• Size: 145 KB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 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.