etc/settings
changeset 15283 f21466450330
parent 15227 804ecdc08cf2
child 15284 f14c6c057172
equal deleted inserted replaced
15282:765d5d6e4468 15283:f21466450330
   222 #MUCKE_HOME=/usr/local/bin
   222 #MUCKE_HOME=/usr/local/bin
   223 
   223 
   224 # Einhoven model checker
   224 # Einhoven model checker
   225 #EINDHOVEN_HOME=/usr/local/bin
   225 #EINDHOVEN_HOME=/usr/local/bin
   226 
   226 
   227 # ZChaff, Version 2003.12.04 (SAT Solver)
   227 # ZChaff, Version 2004.05.13 (SAT Solver)
   228 #ZCHAFF_HOME=/usr/local/bin
   228 ZCHAFF_HOME=/home/webertj/bin
   229 
   229 
   230 # BerkMin561 (SAT Solver)
   230 # BerkMin561 (SAT Solver)
   231 #BERKMIN_HOME=/usr/local/bin
   231 #BERKMIN_HOME=/usr/local/bin
   232 #BERKMIN_EXE=BerkMin561-linux
   232 #BERKMIN_EXE=BerkMin561-linux
   233 #BERKMIN_EXE=BerkMin561-solaris
   233 #BERKMIN_EXE=BerkMin561-solaris