DPRLE (thủ tục quyết định cho các phương trình ngôn ngữ thông thường) giải quyết các ràng buộc tập hợp con liên quan đến các biến ngôn ngữ và nối.
lịch sử phiên bản
- Phiên bản dprle%200.5.0 đăng trên 2009-04-10
Một số bản sửa lỗi và cập nhật - Phiên bản dprle 0.5.0 đăng trên 2009-04-10
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: www.cs.virginia.edu/~ph4u/dprle/
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 0.5.0
- Nền tảng: windows