====== 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 [[gvarda]] for more details.