spassgui

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 .

Project Samples

Version 0.4 with "Save as..." pop-up opened

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow spassgui

spassgui Web Site

You Might Also Like

PMG Low-Code Automation Platform

For companies of all sizes interested in a low-code and digital process automation platform

PMG is a low-code software platform that allows users to configure automation solutions and business applications to drive digital transformation initiatives. From streamlining business processes through automation, to integrating existing systems and filling in point solution functionality gaps, to delivering a collaborative workspace and unified user experience – PMG’s low-code platform does it all without coding. Business users as well as IT resources are empowered to configure, deploy, and maintain solutions that meet their company’s specific needs.

Learn More

Rate This Project

User Reviews

Be the first to post a review of spassgui!

Additional Project Details

Operating Systems

Linux

Languages

English

User Interface

Programming Language

Perl

Related Categories

Perl Scientific Engineering

Registered

2004-11-11

Similar Business Software

ActCAD Software

ACTCAD is a 2D & 3D CAD software with functionality of the industry leaders. We offer two product options: - ACTCAD Standard for 2D Drafting Power Users - ACTCAD Premium for 2D Drafting, 3D Modeling and BIM (Building Information Modeling) functionality ACTCAD can be used for applications...

See Software
The Asset Guardian EAM (TAG)

The Asset Guardian (TAG) has a proven 15-year track record for maintaining, managing and optimizing enterprise assets with thousands of users worldwide. TAG offers CMMS, EAM, APM, and Maintenance-as-a-Service applications that can scale with your organization’s needs and technological...

See Software
OrCAD X

OrCAD® X is a unified PCB design software platform that offers significant improvements in ease of use, performance, automation, data management, and collaboration. Our cloud-enabled product suite contains applications for schematic, simulation, and PCB layout. OrCAD X Capture is one of the most...

See Software

Report inappropriate content