Binary: dreal

Debian packages that has this binary:

Package: alliance

/usr/bin/dreal

Random binary cloud:

db_recover dfbtest_window_flip_once euca-describe-instance-types ewfacquire gflags_completions.sh kcutiltest gendesc lib3ds-config kni_interlink ganesha_mgr c2xml po2symb aedesk alleyoop c_incl gcpbasket heat-engine sapWatch logtop smfplay dcm2nii rxdebug gnatpython-mainloop scanlogd seyon xpce-client email2trac uim-el-helper-agent scanwise_server yersinia