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

in
   

logictree solves propositional and predicate formulas using semantic tableaux.

Registration Date: Thu 10 Jun 2004 09:22:43 PM UTC
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