Experiment
Analytic Tableaux
A propositional logic prover using the tableau method.
Reads a formula, builds its analytic tableau and decides whether it is satisfiable. Written in C++ for the logic course at CIn-UFPE.
- Built with
- C++
- Year
- 2019
- Status
- Archived: it still runs, but I no longer maintain it.