Molle 1.0
Molle is the Modal Logic Loony Evaluator.
|
0.00 
Freeware
0K
Windows Vista 
Molle is the Modal Logic Loony Evaluator.
Molle is a cross-platform prover written in Java™ that implements the tableaux algorithm for the K modal logic. Molle is able to generate example and counterexample models and prove the validity of modal formule .
Frame properties can be selected: the reflexive property has been implemented so far, and more properties will be in the short term. The goal is to have all the major modal logics available for proving.
Molle features a very usable graphical interface and a simple syntax for formulae. With next to no learning curve, Molle is extremely wel
Download Molle 1.0
Authors software
Molle 1.0
DEI, Politecnico di Milano
Molle is the Modal Logic Loony Evaluator.
Similar software
Molle 1.0
DEI, Politecnico di Milano
Molle is the Modal Logic Loony Evaluator.
Universal Password Manager 1.0
Adrian Smith
UPM is a very easy to use cross platform password manager written in Java.
CaptureEdit 1.0 alpha
jason
CaptureEdit is a screenshot / screen capture and edit application written in java to be cross platform.
Checkpoint Commander 5.6.0
Will Dickson
Checkpoint Commander is a cross-platform file management, viewing, and archiving / security tool written in Java.
JSwat 3.16
Nathan Fiedler
JSwat is a graphical Java debugger front-end, written to use the Java Platform Debugger Architecture and based on the NetBeans Platform.
BlueZip 0.10.0
Cameron McKay
BlueZip is a cross-platform compression utility written in SWT and JFace.
Cornice 0.6.1
Alberto Griggio
Cornice is a cross-platform image viewer written in Python + wxPython + PIL.
Logic Builder SDK 1.0
Timur Software
Logic Builder SDK - The universal state-oriented programming system for any language, any IDE and platform.
j-Interop 1.14 Beta
Vikram Roopchand
j-Interop is a Java Open Source library (LGPL) that implements the DCOM wire protocol (MSRPC) to enable development of Pure, Bi-Directional, Non-Native Java applications which can interoperate with any COM component.
Camel's Eye 1.24
Joerg Zieren
Camel's Eye is a free and useful client-independent cross-platform POP3 email filter that was written in Java.
Other software in this category
CleanCIH 1.6
Proland
Clean your PC from the Win95.
Klez Removal Tool 1.0.11
Symantec Corporation
W32.
WinImp 1.21
Technelysium
WinImp is a new file archiver which not only recognises common archive formats, but also introduces a new, high performance archive format.
Softpit PC Search Light 1.3
Goldmarc Technology AS
The softpit PC search light is a useful utility for people who need to find critical information fast and precisely on their own computer.
RSS