WSimply

Versions

Install instructions (linux 32bit)

  1. Unpack the .tar.gz file
  2. Download and install the ANTLR C library (read its terms of use)
  3. Download Yices 1.0.33 with GMP dynamically linked Yices 1 (read its terms of use) and add the path to the LD_LIBRARY_PATH
  4. Add the current directory to the CLASSPATH environment variable
  5. WSimply execution examples (simply for versions before 1.3.01):

License

License

Instances


WSimply/Simply Documentation

Miquel Palahí, Miquel Bofill, Joan Espasa, Josep Suy, and Mateu Villaret  
Departament d'Informàtica, Matemàtica Aplicada i Estadística
Universitat de Girona
E-17003 Girona, Spain
     
Carlos Ansótegui
Departament d'Informàtica i Enginyeria Industrial
Universitat de Lleida
E-25003 Lleida, Spain

Contact: mpalahi@ima.udg.edu