• 
• Login Status:
• Not Logged In
• Login
• New User
• This Page
• Clean Reload
• Printer Version
• Search
• 
  in Projects People Cookbook Support Bugs Tasks Patches
     
• Hosted Projects
• Register New Project
• Full List
• Contributors Wanted
• Statistics
• Site Help
• User Docs: Cookbook
• User Docs: In Depth Guide
• Get Support
• Contact Us
• Misc
• About Gna!
• the Savane Project
• W3C Validation
• Thanks To
• FSF France
• Bearstech
• the GNU Project

logictree - Summary

Group

• Main
  • Main
  • View Members
  • Search
• Homepage
• Download
• Docs
  • Browse
  • Submit
  • Edit
  • Digest
  • Export
  • Search
• Support
  • Browse
  • Reset to all open ones
  • Submit
  • Digest
  • Export
  • View Statistics
  • Search
• Mailing Lists
• Source Code
  • Use Subversion
  • Browse Web Pages Repository
  • Use CVS
  • Browse Sources Repository
  • Browse Web Pages Repository
• Bugs
  • Browse
  • Reset to all open ones
  • Submit
  • Digest
  • Export
  • View Statistics
  • Search
• Tasks
  • Browse
  • Reset to all open ones
  • Submit
  • Digest
  • Export
  • View Statistics
  • Search
• Patches
  • Browse
  • Reset to all open ones
  • Submit
  • Digest
  • Export
  • View Statistics
  • Search
• News
  • Browse
  • Atom Feed
  • Submit
  • Manage

 

 

Show feedback again

Membership Info

Project Admin:

  - Thadeu Lima de Souza Cascardo

1 active member

[View Members]

Group identification

Id: #613

System Name: logictree

Name: logictree

Group Type: Programs

Search in this Group

in Cookbook Support Bugs Tasks Patches
   

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 

No news items found

[Submit News]
[0 news in archive]

Quick Overview

 Project Homepage

 Download Area

 Docs

 Project Memberlist (1 member)

Communication Tools

 Tech Support Manager (0 open items, 0 total)
  - Browse open items
  - Submit a new item

 Mailing Lists (1 public mailing-list)

Development Tools

 Source Code Manager: Subversion Repository
  - Browse Web Pages Repository

 Source Code Manager: CVS Repository
  - Browse Sources Repository
  - Browse Web Pages Repository

 Bug Tracker (0 open items, 0 total)
  - Browse open items
  - Submit a new item

 Task Manager (0 open items, 0 total)
  - Browse open items
  - Submit a new item

 Patch Manager (0 open items, 0 total)
  - Browse open items
  - Submit a new item

Show feedback again

Copyright (C) 2004-2006, the Gna! people. Posted items are owned by whoever posted them.
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.