alliance/src/dreal
