Featured 

Presburger Arithmetics

Software
ExpressionsinBar
|
32
|
Alelvisoftware
ExpressionsinBar is a simple menubar application which provides powerful computer...
...vectors, matrices, strings Operators (+, -, *, /, ^) Arithmetics on integers, rational, and...
Percent Calculator +
|
16
|
Wojciech Rozga
Percent Calculator + allows you to calculate fast percent values. In this app there are two types of calculations...
Percent Calculator + allows you to calculate fast percent values. In this app there are two types of...
jMax
free
|
6
|
jMax Team
jMax is a visual programming environment for building interactive real-time music and multimedia...
...are either processing units (arithmetics, timing...), data containers (tables...
Simple Arithmetics
|
4
|
Christian Mézes
Simple Arithmetics is a small app which can help you practise addition...
Simple Arithmetics is a small app ...from 0 to 400. „Simple Arithmetics“ generates equations where one...
Agena
free
|
4
|
Alexander Walz
Agena provides you with all the means to implement your ideas quickly: fast real and complex arithmetics...
...: fast real and complex arithmetics, efficient text processing, graphics...
Triple-A
free
|
4
|
Markus Strauch
Triple-A (Automatic Analysis with Automata) is a full-featured library for...
...LTL model checking and Presburger arithmetics) and a graphical user interface...