[X] The "/Application Server/tolven-1.1.0.beta3.jar" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

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 .

Browse Files for spassgui

File/Folder Name  Platform Size Date ↓ Downloads Notes/Subscribe
Newest Files
spassgui-0.5.tar.bz2 21.0 KB 2004-12-07 10:36:43 GMT 212
All Files Subscribe
spassgui 50.4 KB 2004-12-07 10:36:43 GMT Subscribe Folder view
0.5 21.0 KB 2004-12-07 10:36:43 GMT Subscribe Folder view
spassgui-0.5.tar.bz2 21.0 KB 2004-12-07 10:36:43 GMT 212
0.3 10.2 KB 2004-12-01 16:54:23 GMT Subscribe Folder view
spassgui-0.3.tar.bz2 10.2 KB 2004-12-01 16:54:23 GMT 23
0.2 9.3 KB 2004-12-01 16:52:02 GMT Subscribe Folder view
spassgui-0.2.tar.bz2 9.3 KB 2004-12-01 16:52:02 GMT 17
0.4 9.9 KB 2004-12-01 15:59:28 GMT Subscribe Folder view
spassgui-0.4.tar.bz2 9.9 KB 2004-12-01 15:59:28 GMT 22

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use