Semantic Tableaux for simple PL
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.

semantic-tableaux constructs an ADT representations of parsed formulas from KB. This is then fed into Haskell which constructs the semantic tableaux (tree).

To run: python <path_to_kb> | runhaskell Main.hs or directly: ./ <path_to_kb>.