Jerusat settings added
authorwebertj
Tue Jun 15 00:50:10 2004 +0200 (2004-06-15)
changeset 14943ffdb22cf6f67
parent 14942 78ddcbebace1
child 14944 efbaecbdc05c
Jerusat settings added
etc/settings
     1.1 --- a/etc/settings	Tue Jun 15 00:06:40 2004 +0200
     1.2 +++ b/etc/settings	Tue Jun 15 00:50:10 2004 +0200
     1.3 @@ -227,3 +227,6 @@
     1.4  #BERKMIN_HOME=/usr/local/bin
     1.5  #BERKMIN_EXE=BerkMin561-linux
     1.6  #BERKMIN_EXE=BerkMin561-solaris
     1.7 +
     1.8 +# Jerusat 1.3 (SAT Solver)
     1.9 +#JERUSAT_HOME=/usr/local/bin