Programmi di wallaroo.sf.net

Wallaroo è una libreria di risoluzione e ottimizzazione di vincoli di precisione infinita per vincoli lineari sui numeri razionali. Gestisce le disuguaglianze (=), le disuguaglianze (<=, >=), le disuguaglianze rigorose