Wallaroo Free and open source linear constraint solving library
Download

Wallaroo Ranking & Summary

Wallaroo Tags

solve solver constraint optimization library constraint solver linear constraint

Wallaroo Description

Free and open source linear constraint solving library Wallaroo is an infinite precision constraint solving and optimization library for linear constraints over the rational numbers.NOTE: Wallaroo is licensed and distributed under the terms of the GNU Library or Lesser General Public License (LGPL). Here are some key features of "Wallaroo": · Infinite precision. Wallaroo uses the GNU multiprecision library to represent rational numbers. · Capable of handling equalities (=), inequalities (≤ and ≥), strict inequalities (< and >), and disequalities (≠). · Incremental. It is possible to add (and remove) constraints from the solver and solve the resulting system again without recomputing everything. · Conflict set generation. If a system is infeasible, a minimal set of conflicting constraints can be computed.

Wallaroo Related Software