dprle

DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.

BSD License

User Reviews

Be the first to post a review of dprle!

Science/Research

Console/Terminal

2009-04-04

Similar Business Software

Twilio

Design and deploy your ideal customer engagement experience. Twilio is a single fully-programmable platform with flexible APIs for any channel and over 400+ integrations, backed by a community of over 9 million developers. Build accurate and personalized experiences for your customers, easily...

See Software
Boozang

Build. Test. Automate. Empower your whole team to build and maintain automated tests, not just developers. Meet your testing demands fast. Get full test coverage in days, not months. Our natural-language tests are extremely stable to code changes. When tests break our AI will repair it in...

See Software
Component Pascal

Component Pascal is a general-purpose language in the tradition of Pascal, Modula-2, and Oberon. Its most important features are block structure, modularity, separate compilation, static typing with strong type checking (also across module boundaries), type extension with methods, dynamic...

See Software