dReal dReach Benchmarks Quadcopter Atrial Fibrillation Prostate Cancer Electronic Oscillator Bouncing Ball Flyspeck Project (Kepler's Conjecture) Downloads Download Precompiled Binaries Build on Ubuntu 12.04 LTS Build on OSX 10.9 Publications People gimmick:math gimmick:ForkMeOnGitHub