DPRLE(常規語言方程的決策過程)解決了涉及語言變數和串聯的子集約束。
版本歷史記錄
- 版本 dprle%200.5.0 發佈於 2009-04-10
若干修復和更新 - 版本 dprle 0.5.0 發佈於 2009-04-10
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: www.cs.virginia.edu/~ph4u/dprle/
- 軟體性質: 免費
- 價格: N/A
- 版本: 0.5.0
- 作業系統: windows
DPRLE(常規語言方程的決策過程)解決了涉及語言變數和串聯的子集約束。