Submit Software
  1. Home
  2. Windows
  3. Other
  4. dprle
  5. Download

dprle 0.5.0

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

ABOUT dprle

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

Related Programs

  • GDialog Add-on for X Free

    "GDialog" is an add-on for "Project X - DVB demux Tool". It adds a dialog to it's GUI to retrieve and select the video recordings of the Siemens Gigaset M740AV / M750S settop boxes. For details please read

  • Widget Layout Compiler Free

    A programming tool to simplify the initial setup of GUI widgets. Mainly an experiment in using widget names and methods as a mark-up language. Written in C++, outputs Java.

  • Advanced Transformed Subversion Free

    SVN client to work with individual files from the Subversion repository. Allows you to create a mixed working copies, including files in one folder from different branches.

  • sap2java Free

    This plugin provides a quick way to generate Java Objects from RFC enabled function modules in SAP R3 using SAP- JCO as the middleware. The plugin generates serializable Java Objects equivalent of SAP's Import , Export and T

  • SGrade Pro Free

    Secure program written in Visual Basic that allows management of anything. Enrollment Records, Student Management, Employee Records, and any other database type records. This program utilizes Microsoft Jet and OLE DB connecto

  • Movie Times for Harkins Legacy Free Trial

    Movie Time Listings for all Harkins Theaters in the USATheaters sorted by StateMovies sorted by TheaterTouch your State,Touch your favorite TheaterSee all movie times for your Theater!Updated every 10 minutes from Harkins own

  • WebTst Free

    WebTst is a perl/Apache Web development test infrastructure.Implements a proxy which records testers actions (http, https),replaying them during testing.Supports digital certificates,concurrency testing,pre-built tests,test s

  • Addressing Free

    WS-Addressing implementation for Axis 1.4. Starting from Apache Addressing, abbandoned in 2005, this project wants to provide a common implementation for any open source project that rely on non-interoperable modifications of

  • x.Link Free

    x.Link is a Java J2EE performance profiler. Using byte code modification it has a minimal impact on running systems and can even be used in production systems.x.Link offers an alternative to commerical J2EE profilers.

  • J3dPathway Free

    We propose a metabolic pathway drawing algorithm for reducing the number of edge crossings by considering the fact that metabolic pathway graph is scale-free network.