mainlogictree - Summary

Show feedback again
Membership Info
Project Admin:
1 active member

Group identification
Id: #613
System Name: logictree
Name: logictree
Group Type: Programs

Search in this Group


logictree solves propositional and predicate formulas using semantic tableaux.

Registration Date: Thu Jun 10 21:22:43 2004
License: GNU General Public License V2 or later
Development Status: 4 - Beta


Latest News 

Communication Tools
Mailing Lists Mailing Lists (1 public mailing-list)

Show feedback again

Back to the top

Powered by Savane 3.1-cleanup