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

Elisa là một thư viện C++ mở cho các kỹ thuật lập trình hạn chế và giải quyết ràng buộc. Các thuật toán dựa trên khoảng thời gian để giải quyết các ràng buộc liên tục yêu cầu Gaol (http://sf.net/projects/gaol) đã được cài đặ