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

Other Useful Business Software
Run applications fast and securely in a fully managed environment Icon
Run applications fast and securely in a fully managed environment

Cloud Run is a fully-managed compute platform that lets you run your code in a container directly on top of Google's scalable infrastructure.

Run frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
Try for free
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