3.1.1 Starten

Das Programm wurde in Java entwickelt. Zur Ausführung ist daher notwendig, dass ein Java Runtime Environment (Version 5.0 oder höher, kann von http://java.sun.com/javase/downloads/index.jsp bezogen werden) installiert ist. Ist diese Voraussetzung erfüllt, gibt es zwei Möglichkeiten:

• Zum einen kann das Programm als Applet verwendet werden. Ist im verwendeten Browser das Java-Plugin installiert, ist nichts weiter zu tun als die URL http://stud4.tuwien.ac.at/~e0425426/praktikum/applet.html einzugeben.
• Zum anderen kann das Programm auch als eigenständiges Programm gestartet werden. Dazu lädt man die Datei http://stud4.tuwien.ac.at/~e0425426/praktikum/cnf-dnf.jar herunter. Anschließend kann das Programm unter Windows durch Doppelklick auf die heruntergeladene Datei im Explorer gestartet werden. In anderen Systemen erfolgt der Aufruf üblicherweise durch Eingabe von
  java -jar cnf-dnf.jar
  in einem Terminal.