Binary: dreal

Debian packages that has this binary:

Package: alliance

/usr/bin/dreal

Random binary cloud:

arm-linux-gnu-c++filt atobm ceph_rgw_multiparser fatsrv-gfortran cpufreq-info f3read grib_debug mpif77 ocamllex.opt glx-multithread-makecurrent-1 catstomp nisserver-plugin-defs lamed reboot yamcfg cyrdeliver update-default-ispell fw i810rotate pbmtoimgv mkminifont kupfer create-bridge-sql.pl nw plait mp3cut qtemu spotlighter texifyidl esfilter