#!/bin/bash # Jakob Lichtenberg - jl@itu.dk - 991122 # export LD_LIBRARY_PATH=/www/research/ddd/src ./ddddemo.exe | # DISABLED UNTIL DOT IS RUNNING # echo "The demo is currently not available" | /usr/local/bin/ituifyCGI "Difference Decision Diagrams - Demo"