โปรแกรมตาม wallaroo.sf.net

Wallaroo เป็นไลบรารีข้อจํากัดด้านความแม่นยําที่ไม่มีที่สิ้นสุดและการเพิ่มประสิทธิภาพสําหรับข้อ จํากัด เชิงเส้นมากกว่าตัวเลขที่มีเหตุผล โดยจะจัดการกับความไม่เท่าเทียมกัน (=) ความไม่เท่าเทียมกัน (<=, >=) ความไม่เท่าเทียมก