# HG changeset patch
# User webertj
# Date 1087253410 -7200
# Node ID ffdb22cf6f67b56054f788649e697535f06b08f9
# Parent  78ddcbebace1edcecf2c2e8dfc52384f98a6689e
Jerusat settings added

diff -r 78ddcbebace1 -r ffdb22cf6f67 etc/settings
--- a/etc/settings	Tue Jun 15 00:06:40 2004 +0200
+++ b/etc/settings	Tue Jun 15 00:50:10 2004 +0200
@@ -227,3 +227,6 @@
 #BERKMIN_HOME=/usr/local/bin
 #BERKMIN_EXE=BerkMin561-linux
 #BERKMIN_EXE=BerkMin561-solaris
+
+# Jerusat 1.3 (SAT Solver)
+#JERUSAT_HOME=/usr/local/bin