JUMP

The JUpiter Modeling Platform.