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.
Release Date:
2006-10-06
Topics:
License:
Ratings and Reviews
Be the first to post a text review of Molle. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
molle-bin 1.0 file released: molle-1.0.jar
initial release
-
File released: /molle-bin/1.0/molle-1.0.jar
-
molle-src 1.0 file released: molle-src-1.0.zip
initial release
-
File released: /molle-src/1.0/molle-src-1.0.zip
-
Code committed
-
Project Information Updated
-
Forum thread added
Anonymous created the Welcome to Help forum thread -
Forum thread added
Anonymous created the Welcome to Developers forum thread -
Forum thread added
Anonymous created the Welcome to Open Discussion forum thread
Rate and Review
Be the first person to add a text review.
Related Projects
Molle Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
