https://home.agh.edu.pl/~wojnicki/wiki/ 2026-04-04T23:42:23+00:00 https://home.agh.edu.pl/~wojnicki/wiki/ https://home.agh.edu.pl/~wojnicki/wiki/lib/tpl/dokuwiki/images/favicon.ico text/html 2021-01-08T14:10:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~wojnicki/wiki/varda:gvarda?rev=1610111452&do=diff 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), text/html 2021-01-08T14:10:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~wojnicki/wiki/varda:varda?rev=1610111452&do=diff VARDA Varda (Visual ARD Rapid Development Alloy) is a tool for prototyping rules. Designed and implemented as a result of the HeKatE Project, see <https://ai.ia.agh.edu.pl/wiki/hekate:varda> for more details. Further development results in extending the toolchain with GUI and other features. See