Name		Name	Last commit message	Last commit date
testinputs		testinputs
.DS_Store		.DS_Store
README.md		README.md
input.txt		input.txt
output.txt		output.txt
tableau.py		tableau.py
testinputs.zip		testinputs.zip

Repository files navigation

Logical-Tableau Parser

This tool parses logical (both propositional and predicate) formulas and using Tableau expansions, determines their validity and satisfiability.

About

A tool to determine validity and satisfiability of logical (both propositional and predicate) formulas using tableau expansions

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages