Molle Icon

Molle

beta
Add a Review
0 Downloads (This Week)
Last Update:
Download molle-1.0.jar
Browse All Files
Windows Mac Linux

Screenshots

Description

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.

Molle Web Site

KEEP ME UPDATED

Other Useful Business Software

Powerful Service Desk and Simple to Use ITSM Solution Icon

One IT support system that centralizes all your requirements – service desk/ITSM software: incident, remote desktop, reporting, ITAM & more.

Powerful Service Desk and Simple to Use ITSM Solution Icon
With over 15 years’ experience in the IT field, SysAid serves over 100K admins globally. Our unique help desk/ITSM solution is built to serve all your IT needs. SysAid provides one centralized system for: information, actions, communication, reporting, support, knowledge & more. Our easy to use ticketing system facilitates over 82M tickets a year, supporting over 2000 organizations in the US alone. We’ve been translated to more than 40 languages.
Powerful Service Desk and Simple to Use ITSM Solution
Are you an IT pro at a company with 1000+ employees?
Write a Review

User Reviews

Be the first to post a review of Molle!

Additional Project Details

Intended Audience

Education, Science/Research

User Interface

Java Swing

Programming Language

Java

Registered

2006-09-01

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks