Department of Computer Science, University of Western Ontario, Canada

Grail+ logo

A symbolic computation environment
for finite-state machines, regular expressions, and finite languages.



Download Pre-release of Grail+ Version 3.0 (compressed tar file, 2 Mb)

This is a preview of Grail+ Version 3.0. It contains all the features
of Grail 2.5, but also supports alternating finite automata and is fully
commented. We are still working on documentation for 3.0, and fixing a
few bugs in the pre-release. Feel free to download this version now, or
check back for the official release of Grail+ Version 3.0.

Download A Short Introduction to the Grail+ Project (postscript file, 155Kb)



Last updated October 2, 2002