spass free download - SourceForge

Showing 6 open source projects for "spass"

View related business solutions

MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free
Build Securely on Azure with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now
1

TC-SpieleInventarVerwaltung

Inventarwaltung für Games Linux & Windows

SpieleVerwaltung für Linux (portable AppImage) / Windows-Portable -------------------------------------------------------------------------------------- Inventarverwaltung für deine Spiele, Versionen für Linux und Windows - portable mit allen Abhängigkeiten. Verwalte deine Konsolen-und PC Games, ohne viel Schnickschnack, komfortabel und schnell. - einfach starten und Spass haben, ohne Installation - Datenbank - Freigabe Logos inclusive - Livesuche - Darkmodus - Export und Import via CSV - Detailansicht mit allen Einträgen plus Freigabe Logo - mehrere Bilder möglich und im Detail bis max 800px anzeigbar - Maus und Tastatur- bedienbar - Bilder hinzufügen über Erstellen und Drag& Drop - Plattform-Filter - getestet unter Linux MX (Debian) und Windows 11 und noch kleine andere Sachen Gebaut nach den Vorlieben, wie ich eine Verwaltung benötige. ----------------------------------------------- License: Freeware (Closed Source) See LICENSE.txt for details

Downloads: 8 This Week

Last Update: 2 days ago
See Project
2

spass

Cryptographically secure random password/passphrase generator

1 Review

Downloads: 0 This Week

Last Update: 2019-02-11
See Project
3

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
4

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
Train ML Models With SQL You Already Know
BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Try Free
5

tuprojekt

tu projektpraktikum. ein spass ist das

Downloads: 0 This Week

Last Update: 2013-04-24
See Project
6

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