A cross-platform terminal emulator with telnet, SSH, and serial support.
A library for manipulating sets and relations of integer points bounded by linear constraints.