dprle

alpha
Add a Review
1 Download (This Week)
Last Update:
Download dprle-0.5.0.tar.gz
Browse All Files

Description

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

dprle Web Site

Categories

Source code analysis

License

BSD License

Update Notifications





Write a Review

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)

Registered

2009-04-04
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.