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