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.