spassgui

Welcome, Guest! Log In | Create Account

SourceForge.net > Find Software > spassgui

Donate

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 .

Download Now! spassgui-0.5.tar.bz2 (20.5 KiB) OR View all files

Project Feed

spassgui 0.5 file released: spassgui-0.5.tar.bz2
11:37AM on Dec 07 2004
spassgui 0.3 file released: spassgui-0.3.tar.bz2
05:55PM on Dec 01 2004
spassgui 0.2 file released: spassgui-0.2.tar.bz2
05:53PM on Dec 01 2004
spassgui 0.4 file released: spassgui-0.4.tar.bz2
05:00PM on Dec 01 2004
Code committed

Anonymous committed patchset 1 of module CVSROOT to the spassgui CVS repository, changing 11 files

04:11PM on Nov 30 2004 by nobody
Project Information Updated

mauromereu registered the spassgui project

09:54AM on Nov 11 2004 by mauromereu