--- 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