etc/settings
changeset 15284 f14c6c057172
parent 15283 f21466450330
child 15331 3e85549f25f5
equal deleted inserted replaced
15283:f21466450330 15284:f14c6c057172
   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 2004.05.13 (SAT Solver)
   227 # ZChaff, Version 2004.05.13 (SAT Solver)
   228 ZCHAFF_HOME=/home/webertj/bin
   228 #ZCHAFF_HOME=/usr/local/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