DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.
VERSION HISTORY
- Version dprle%200.5.0 posted on 2009-04-10
Several fixes and updates - Version dprle 0.5.0 posted on 2009-04-10
Program Details
- Category: Development > Other
- Publisher: www.cs.virginia.edu/~ph4u/dprle/
- License: Free
- Price: N/A
- Version: 0.5.0
- Platform: windows