1. Technical report (March 2003): N. Olivetti, G.L. Pozzato - System description: CondLean ( PDF format ) 2. Source code : Java interface SeqCK: constant labels version SeqCK: free variable version SeqCK: euristic version SeqID: constant labels version SeqID: free variable version SeqID: euristic version SeqMP: constant labels version SeqMP: free variable version SeqMP: euristic version SeqID+MP: constant labels version SeqID+MP: free variable version SeqID+MP: euristic version 3. The application : Zip format To run CondLean you have to extract the .zip file into a folder (for example, Fold); then you have to set your PC for se.sics.jasper execution; for example, using CondLean under Windows you have to execute the following commands from a DOS shell: set path=C:\java1.2.2\bin;C:\Program files\SICStus 3.10.0\bin;C:\java1.2.2\jre\bin\classic set classpath=C:\Program files\SICStus 3.10.0\bin\jasper.jar; Fold (see SICStus Prolog release notes for details) Then, you can launch CondLean from Fold with the following command: java Vai