Chương trình theo wallaroo.sf.net

Wallaroo là một hạn chế chính xác vô hạn giải quyết và tối ưu hóa thư viện cho những hạn chế tuyến tính trên các con số hợp lý. Nó xử lý sự bình đẳng (=), bất bình đẳng (<=, >=), bất bình đẳng nghiêm ngặt (<, >) v