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.

Project Samples

Molle main window after a proof

Project Activity

See All Activity >

Categories

Artificial Intelligence, Mathematics, Exam, Computer Aided Instruction (CAI)

License

Academic Free License (AFL)

Follow Molle

Molle Web Site

You Might Also Like
SKUDONET Open Source Load Balancer Icon
SKUDONET Open Source Load Balancer

Take advantage of Open Source Load Balancer to elevate your business security and IT infrastructure with a custom ADC Solution.

SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Molle!

Additional Project Details

Intended Audience

Science/Research, Education

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Artificial Intelligence Software, Java Mathematics Software, Java Exam Software, Java Computer Aided Instruction (CAI) Software

Registered

2006-09-01
Report inappropriate content