boolsimplifier
Version 0.1.8 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Simplification tools for simple propositional formulas.
- Description
Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.
- Author
- Gershom Bazerman, Jeff Polakow
- Bug reports
- n/a
- Category
- Math, Language
- Copyright
- Gershom Bazerman, Jeff Polakow 2011
- Homepage
- n/a
- Maintainer
- gershomb@gmail.com
- Package URL
- n/a
- Stability
- n/a