====== GVARDA ======

===== Description =====
//Graphical Visual ARD Rapid Development Alloy// -- A rule prototyping tool. 
Based on [[varda]].

Several additional functions have been also added, including:
  * fully fledged GUI (implemented using SWI Prolog XPCE),
  * refactoring/redesign (allowing to redesign the developed model at any stage),
  * integration of the refactoring with GUI.

All VARDA/GVARDA functions are available as Prolog predicates (API) or through GUI.
Some screenshots are given below.

{{:varda:gvarda-ard.jpg|ARD}}

{{:varda:gvarda-tph.jpg|TPH}}

===== Availability =====

This software is available upon request from: Igor Wojnicki wojnicki@agh.edu.pl.


This page is UNDER CONSTRUCTION. There will be same more information about GVARDA and GVARDA posted soon. Stay tuned. FIXME