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

Project Activity

See All Activity >

License

BSD License

Follow dprle

dprle Web Site

Other Useful Business Software
Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
Sign Up Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of dprle!

Additional Project Details

Intended Audience

Science/Research

User Interface

Console/Terminal

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Source Code Analysis Tool

Registered

2009-04-04