chore: have bin/dReal in addition to bin/solver
chore: have bin/dReal in addition to bin/solver