alliance/src/dreal/etc
