carta

dreal(1) on Linux

The text 060b54b3e81e, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

Graphic real layout viewer

dreal(1) on Linux now