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
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.
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.
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.
X-develop Professional 1.2
Omnicore Software
X-develop is our new multi-language cross-platform IDE offering for professional coders.
Servlet.Search 1.0
Usingit.com
Servlet.
RSS