Spassgui is a Perl/Tk based Gui for SPASS (An Automated Theorem Prover for First-Order Logic with Equality) by http://spass.mpi-sb.mpg.de .
Release Date:
2004-12-07
Topics:
License:
Operating System:
Translations:
User Interface:
Programming Language:
Registered:
2004-11-11
Ratings and Reviews
- Thumbs up: 1
- Thumbs down: 0
Be the first to post a text review of spassgui. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
spassgui 0.5 file released: spassgui-0.5.tar.bz2
-
File released: /spassgui/0.5/spassgui-0.5.tar.bz2
-
spassgui 0.3 file released: spassgui-0.3.tar.bz2
-
spassgui 0.2 file released: spassgui-0.2.tar.bz2
-
spassgui 0.4 file released: spassgui-0.4.tar.bz2
-
File released: /spassgui/0.3/spassgui-0.3.tar.bz2
-
File released: /spassgui/0.2/spassgui-0.2.tar.bz2
-
File released: /spassgui/0.4/spassgui-0.4.tar.bz2
-
Code committed
-
Project Information Updated
mauromereu registered the spassgui project
Rate and Review
Related Projects
-
-
-
Clausula
Clausula is an Automatic Clause Deductor licensed under the GNU GPL. From a set of clauses, this software can determinate whether or not the set is satisfacible. Clausula has been designed for educational purposes, specially for Logic degree curses.
spassgui Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
