Home > By category > Developer Tools >Source Code > dprle



dprle

  • Downloads: 
  • Views: 
  • Rating:

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

Free download from Shareware Connection - DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.

Publisher: cs.virginia.edu | License: Freeware | Price: 0.00
Version: 0.5.0 | Size: 243 KB | Platform: WinOther
Released Date: 19-11-2012 | Rating: 0 | Title: dprle

Author Url: http://www.cs.virginia.edu/~ph4u/dprle/
Program Info Url: http://www.cs.virginia.edu/~ph4u/dprle/
Download Url: http://sourceforge.net/projects/dprle/files/dprle-0.5.0.tar.gz/download?use_mirror=superb-dca2

dprle related downloads:

Shareware Connection periodically updates pricing and software information of 'dprle' from company source 'cs.virginia.edu' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'dprle' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of dprle.

New Reviews

Backup Dwarf Home Edition - Making backups of data and media content has become extremely important for computer users nowadays. Owing to hardware failure, you may end up losing gigabytes of precious data. Besides, you may not want to leave sensitive data accessible to all ...

Spark Browser - Nearly every PC user needs to browse the web nowadays, irrespective of age and gender. Whether you use a laptop or desktop, it is mandatory to use a web browser to access web or download files. There was a time a majority of Windows users ...

Device Doctor - Keeping the drivers of hardware components used in your PC is really important. Obsolete device drivers lead to a myriad of problems affecting PC performance. While advanced users may check for outdated drivers personally, this may not be an ...

Plants vs. Zombies 2 - These days there are lot of tower defense games on offer. Coming from the stable of Electronics Arts, which is one of the leading companies in the gaming arena, Plant vs. Zombies is a decent game particularly if you are interested in garden ...

Imagina - Average PC users have to deal with an ever increasing number of digital images these days. This has become a trend after invasion of digital cameras and smart phone with high quality cameras among the mass. You also need to edit and retouch ...

Format Factory - No matter what reason you use the computer mostly for, converting media files from one format to another can be necessary sometimes. This can be useful when you want to convert all those series of DVDs into formats that can be played across ...

Qustodio Free Parental Control - Without using the Internet, it is extremely difficult to obtain information, seek entertainment or look for study references but there is a downside to it as well. While some tech savvy kids master the tricks to bypass monitoring of their parents ...

CherryPlayer - When you want to watch movies, online videos or listen to music tracks, using a suitable application is required. There is no hard and fast rule that you have to stick to Windows default media player software for such needs. There are plenty of ...

Machete Video Editor Lite 3.8 build - Average PC users are no longer strangers to video file handling and editing. There are so many sources from where you acquire video files, as it is. You also need to deal with video clips acquired from cameras and smart phones. At times, you may ...

HandBrake - Nearly every PC user gets into a situation when they fail to understand what to do with a DVD that will not play back on DVD player or PC owing to format restrictions. Some users may also feel irked about a video file downloaded from web refusing ...




New Downloads

Miraplacid Text Driver SDK
TE

Generates virtual printer
driver to extract text from
printable documents, then save
it to file or upload to a
server. ...

Bytescout PDF To HTML SDK

PDF To HTML SDK allows
developers to convert PDF to
HTML preserving the layout
without any additional
software required. ...

VB.Net PDF

Create, Edit and Extract Text
and Image Content inside
VB.net applications. Supports
HTML, ASPX, CSS, and images.
...

ODBC Driver for xBase

Devart ODBC Driver for xBase
provides high-performance and
feature-rich connectivity
solution for ODBC-based
applications ...

Asus Recovery Disk Wizard

Zoftar Software\'s Asus
recovery disk wizard. This
restore disk wizard, with 4
easy steps, will make sure you
get the ...

VeryPDF Table Extractor OCR

VeryPDF Table Extractor OCR is
designed to extract tables
from scanned,normal PDF or
image and then recognize
characters ...

Internet Browser Cleaner
ActiveX

Internet Browser Cleaner
ActiveX is a dll control to
fast detect and delete
temporary and privacy internet
files (cache, ...

VScodePrint 2013

Microsoft Visual Studio
2008-2013 Extension for
printing sourrce code in
color. Print a complete
Solution, selected ...

GUI SDK Linux

The GUI SDK Linux is a cross
platform GUI development SDK
ships with the libraries which
are related to Windows, Linux.

MarshallSoft Client Mailer
for Foxpro

Send personalized text or HTML
email with attachments to
clients or customers directly
from a Visual FoxPro
application ...

JxCapture

Cross-platform library
providing image and video
capture API for Java
applications. The library
provides ability to ...

concatSQL

Concatenate and Execute SQL
Scripts with Placeholders.
Reverse Engineer Database to
SQL Scripts. User definable
...