Linux Software / Programming / Development Editors

spassgui 0.5

Company: mauromereu

Date Added: November 22, 2013 | Visits: 288

Report Broken Link
Printer Friendly Version

Product Homepage
Download (36 downloads)

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 .

Requirements: No special requirements

Platforms: *nix, Linux

Keyword: Automated, Based, Equality, Firstorder, Httpspassmpisbmpgde, Logic, Perltk, Prover, Spass, Theorem

Users rating: 0/10

License: Freeware

Size: 20.48 KB

USER REVIEWS

More Reviews or Write Review

SPASSGUI RELATED

Modules - Node Recommendation 6.x-1.0 This module shows users other nodes that they might be interested in based on a simple logic and using taxonomy. The aim of this module is to provide sensible defaults and an easy configuration (not that Views-like) for normal users and to allow...	10 KB
Database Tools - wwtk 1.0 wwtk is a wizard-style Web interface for structured information trails - an n-ary decision tree structure based on true/false logic. wwtk project can be used as a Wizard, an expert system, or as a backend for interactive fiction. Structure...	327.68 KB
Programming - Web Wizard Toolkit 1.0 Wizard-style web interface for structured information trails - an n-ary decision tree structure based on true/false logic. It can be used as a 'Wizard', an expert system, or as a backend for interactive fiction.	325.54 KB
Puzzles - Berusky 1.1 Berusky application is a logic game that is based on an ancient puzzle named Sokoban. An old idea of moving boxes in a maze has been expanded with new logic items such as explosives, stones, special gates and so on. In addition, up to five bugs...
Modules - WP Captcha-Free 0.7 WP Captcha-Free blocks automated comment spam without resorting to CAPTCHAs. It does so by validating a hash based on time (and some other parameters) using AJAX when the form is posted. Comments posted via automated means will not have a hash or...	20.48 KB
Programming - Fuzzy sets for Ada 5.4 Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic...	2.13 MB
Hard Drive Cleaners - DustBuster 2.8.0 DustBuster 2.8.0 is a garbage file removing utility for Microsoft Windows operating systems. It searches for junk files and temp files that are of no use and are just taking space on your hard drive. Based on a "fuzzy logic" scanning technology,...	298 KB
Education - Vote4What 1.0 Vote4What provides an easy way to administer home surveys/ questionnaires. Not only can you take ordinary tests - such as standard true or false quizzes - it also allows users to take tests similar to "The Political Compass" or "Political Survey"....	235 KB
Development Tools - Fuzzy CART 1.0 The archive includes genfis4.m that generates Mamdani- and Sugeno-type FIS using CART algorithm to extract fuzzy rule information from data set. It is based mostly on Fuzzy Logic Toolbox but it has required to modify Toolbox's fuzzy rule building...	61.44 KB
Development Tools - A Benchmark Problem for Model Based Control System Tests - 001 1.0 Today safety critical flight control systems are tested using model based approach. The model blocks are proprietary and seldom shared in the open. A benchmark problem was designed as part of a research activity to test out certain test case...	3.33 MB

NEW DOWNLOADS IN PROGRAMMING, DEVELOPMENT EDITORS

Programming - Cedalion for Linux 0.2.6 Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.	471.04 KB
Programming - Math::GMPf 0.29 Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.	30.72 KB
Programming - Net::Wire10 1.08 Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...	30.72 KB
Programming - logilab-common 0.56.2 a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...	174.08 KB
Programming - OpenSSL for linux 1.0.0a The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...	3.83 MB
Development Editors - KMood 0.30 kmood is a tool for KDE which lets the user to select his current mood. Moods canbe propagated between users on different machines using KDE.	389.12 KB
Development Editors - File Sift 1.0 File Sift groups files and directories to fit within a specified size threshold. This is useful when backing up to media of fixed size (ie cd-r media), and helps maximize the use of space on that media. Provides both graphical and command line...	2.53 MB
Development Editors - GNUsTicker 0.1 GNUsTicker is basically a RSS aggregator. It is a GNOME panel applet that scrolls infos retrieved from RSS, RDF, etc. It may be extended for feeding from different sources (an example for POP3 mail server is provided).	819.2 KB
Development Editors - sarface 0.8 sarface is a user-interface to the sysstat/sar database which inputs data from sar and plots to a live X11 graph via gnuplot. It mimics the cmd-line options from sar but can cross-plot any two or more stats and apply simple mathematical functions...	327.68 KB
Development Editors - Hachikaduki 0.9.2 Hachikaduki is a simple knowledge management tool for knowledge workers. Hachikaduki enables you to manage text-based Knowledge. Hachikaduki has a powerful full-text search function. You can find Knowledge quickly and easily	2.26 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts