MELIA is a project mainly written in Scala, based on the GPL-3.0 license.

Clone of MELIA a theorem prover for the Model Evolution Calculus with Equality and built-in linear integer arithmetic.