RealPaver là một ngôn ngữ mô hình hóa để giải quyết các hệ thống ràng buộc phi tuyến số nguyên hỗn hợp.
lịch sử phiên bản
- Phiên bản 0.4 đăng trên 2004-08-06
Một số bản sửa lỗi và cập nhật - Phiên bản 0.4 đăng trên 2004-08-06
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: realpaver.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 0.4
- Nền tảng: linux