Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Boolean Expression Checkers

Email Gateway (Aug 19 2022 at 14:41):

From: Tobias Nipkow <nipkow@in.tum.de>
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!

Last updated: Apr 25 2024 at 08:20 UTC