red_primality provides zero-setup primality testing and factoring for all u64
Command-line driver for POUNCE — solves built-in TNLPs and AMPL .nl files.