[isabelle] New AFP entry: Boolean Expression Checkers



Boolean Expression Checkers
Tobias Nipkow

This entry provides executable checkers for the following properties of boolean
expressions: satisfiability, tautology and equivalence. Internally, the checkers
operate on binary decision trees and are reasonably efficient (for purely
functional algorithms).

http://afp.sourceforge.net/entries/Boolean_Expression_Checkers.shtml

Enjoy!




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.