spass free download - SourceForge

Showing 5 open source projects for "spass"

View related business solutions

Auth0 for AI Agents now in GA
Ready to implement AI with confidence (without sacrificing security)?

Connect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.

Start building today
Reach Your Audience with Rise Vision, the #1 Cloud Digital Signage Software Solution
K-12 Schools, Higher Education, Businesses, Restaurants

Rise Vision is the #1 digital signage company, offering easy-to-use cloud digital signage software compatible with any player across multiple screens. Forget about static displays. Save time and boost sales with 500+ customizable content templates for your screens. If you ever need help, get free training and exceptionally fast support.

Learn More
1

spass

Cryptographically secure random password/passphrase generator

1 Review

Downloads: 2 This Week

Last Update: 2019-02-11
See Project
2

CTL-RP

CTL-RP is a theorem prover for Computation Tree Logic (CTL)

CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference. Please see the following link for more details. http://cueb.science/web/software/ (if you are inside China.) http://ctlrp.sourceforge.net (if you are not inside China.)

Downloads: 0 This Week

Last Update: 2017-01-03
See Project
3

SWTOR Combat Log Analyzer

Grafischer Kampflog Analyzer für SWTOR

...Grouping the data (damage and heal) for each fight. Views with detailed data. Mit dem SWTOR Combatlog Analyser können die Kampflogs (gibt es seit SWTOR 1.2) ausgewertet werden. Viel Spass bei der Benutzung. With the SWTOR Combatlog Analyzer you are able to analyze the combat log of SWTOR (avaiable since 1.2). You must have Java 6 installed. Details are here: http://www.java.com/de/download/ Have fun! You will find details here: Details findest Du hier:

Downloads: 0 This Week

Last Update: 2016-04-20
See Project
4

tuprojekt

tu projektpraktikum. ein spass ist das

Downloads: 0 This Week

Last Update: 2013-04-24
See Project
Cloud-based help desk software with ServoDesk
Full access to Enterprise features. No credit card required.

What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.

Try ServoDesk for free
5

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 .

Downloads: 0 This Week

Last Update: 2013-03-20
See Project