etc/settings
changeset 14451 2253d273d944
parent 14447 5b61dc4eab24
child 14461 fab539f843d9
equal deleted inserted replaced
14450:3d2529f48b07 14451:2253d273d944
   223 # Mucke (mu-calculus model checker)
   223 # Mucke (mu-calculus model checker)
   224 #MUCKE_HOME=/usr/local/bin
   224 #MUCKE_HOME=/usr/local/bin
   225 
   225 
   226 # Einhoven model checker
   226 # Einhoven model checker
   227 #EINDHOVEN_HOME=/usr/local/bin
   227 #EINDHOVEN_HOME=/usr/local/bin
       
   228 
       
   229 # ZChaff SAT solver
       
   230 #ZCHAFF_HOME=/usr/local/bin