Reals


Advertisement

Z3-2.12  v.2 1

Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available.

RSolver  v.1.24

Solve quantified inequality constraints fast and easy. RSolver is a software for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions,





Advertisement

ULS  v.1.3.1

ULS is an object factory for generic-purpose lexical analysis supporting UTF-8.

PRPN for Linux 0.5.5 Beta  v.1.0

Graphical Reverse Polish Notation calculator running in Linux and Windows.

PRPN 0.5.5 Beta  v.1.0

Graphical Reverse Polish Notation calculator running in Linux and Windows.

Gambit-C  v.4.4.0

Gambit-C includes a Scheme interpreter and a Scheme compiler which can be used to build standalone executables.

Pages : 1 | Free
Newest Reviews