The four tools can be made available at the same time in Maude with the following Maude file
normOnDemand-eval-redOnDemand.maude,
the UNIX shell file
fmaude-normOnDemand-evalOnDemand,
and the appropriate Maude files of the previous tools.
©
Copyright
Unless otherwise noted, we hold copyright in all materials created by us,
and allow general use under the ``copyleft''
terms of the GNU
General Public License for software and the Open
Content License for text. Essentially, you may use our copyright materials
freely as long as you acknowledge our authorship and copyright. You may
create variant and derivative works as long as you are accurate in attributing
our contribution. You may redistribute our work, variants, and derivatives
as long as you pass on the full license that we grant to you with every
copy.