This is an old revision of the document!
Intro
Varda (Visual ARD Rapid Development Alloy) is a prototype design tool for ARD+ in Prolog.
Getting it
Just grab a tarball milestone below
Releases
M_0
News
Quickstart
You need:
-
-
needed for automatic visualisation:
ImageMagick and
GNU Bash (
Warning: under Unix, you need GNU bash as a default Bourne shell (/bin/sh
) – this is not the case with Ubuntu!!! it ships dash
, change it – just uninstall it)
To use it:
cd varda
./varda
You can load an example model from the cmdline:
./varda therm-model.pl
In Varda, try hlp.
While working in Varda you are in the pure SWI shell, just use Prolog
If you want to load a model when you are in VARDA simply use:
?- [therm-model].
If you use Windows, you can still use VARDA, but automatic visualisation would not work (it requires a Unix-like environment).
Just run SWI Prolog, and:
?- [varda].
?- [therm-model].
If you have Graphviz under Windows, you can generate pictures manually, e.g.:
?- sar('therm-ard.dot').
?- shi('therm-tph.dot').
?- gax.
?- sxt('therm-xtt.dot').
And then run Graphviz DOT:
dot -T png therm-ard.dot > therm-ard.png
Report bugs
Please report the bugs, suggestions to the CVStrac system.
Login:
access the system with the wiki user/pass
submit new Tickets anonymously
please leave your contact information, as well as other reference, e.g. MIW project ID
Devel
Patches and suggestions welcomed!
The development is not public.
Developers see hades