This tool parses logical (both propositional and predicate) formulas and using Tableau expansions, determines their validity and satisfiability.
robbiebmorris/Logical-Tableau-Parser
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|