gringo

gringo is also available in Debian, Ubuntu, Arch Linux (AUR), and for Mac OS X in homebrew and macports.