Home
Overview
Publications
Software
  RDL Download Area
Related links
 
 
People
Alessandro Armando
 
Silvio Ranise
 
Luca Compagna
 
 
 
Affiliation
AI-Lab
DIST
Università di Genova

The Constraint Contextual Rewriting Project: Software

RDL Version 1.1: Download Area

The RDL binary/source distribution consists of an RDL binary, a tutorial and a small example collection.

The actual system has been developed under Sicstus 3.8.5 and tested under SUSE Linux 6.2 and SUSE Linux 7.0.

Please, hold the shift button while clicking on the links below!

RDL Version 1.1: Binaries

RDL Version 1.1: Sources

  • The sources of the system are available on request. Please send an e-mail to Alessandro Armando.

[ Home | Overview | Publications | Software: RDL Download Area | Related links ]


This web site is maintained by the AI-Lab webmaster.
Last updated: 14-Dec-2006