MRG home page · Research · Publications · Projects · Software · People

Downloading and Installing Anastasia

Download (Newer Version)

Download the Anastasia archive by clicking here and saving it in an appropriate directory.

Installation

To install and run Anastasia do the following:

Download (Older Version)

Download the Anastasia archive by clicking here and saving it in an appropriate directory.

Installation

To install and run Anastasia do the following:
Back to Main

People

The following people are assosciated with the Anastasia project:

Alan Bundy [A.Bundy@ed.ac.uk]Supervisor 
Paul Martin [P.W.Martin@sms.ed.ac.uk]Second Supervisor 
Ianthe Hind [I.Hind@sms.ed.ac.uk]Honours Student (2005-06) 
Sebin Kim [S.Kim-11@sms.ed.ac.uk]Honours Student (2007-08) 

Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the DReaM Support Team
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.