Modelica is a modeling language for physical systems. This tool can be used to enforce modeling rules.

Modelicus is written in Java and thus requires a JDK >= 1.7. It uses SWI Prolog(swipl >= 7.0) as its decision procedure. ANTLR is used as a parser generator. Apache Ant is the build system.

Unless your SWI Prolog installation also placed the Java bindings into /usr/lib64/swipl-jpl/, you'll need to adjust the path in the build file.

Then, simply run

ant jar

To create the package build/modelicus.jar.

You can also execute

ant test

to run a short example from the test directory.