# Use the following Alliance variables to view these cells with DREAL.
# You can 
# $ source ./README
# to set them.
export RDS_IN=cif
export RDS_TECHNO_NAME=/usr/share/pharosc/alliance/etc/ssx100.rds
export DREAL_TECHNO_NAME=/usr/share/pharosc/alliance/etc/s100.dreal
