Solving the GCHQ Christmas Challenge with AMPL and a CP solver

C++ Format packages for Linux and OS X

Compile-time checking of printf arguments in C++ Format

Reliable detection of strerror variants

Comparison of C++ Format and C library's printf

Using C++ Format with Biicode

Reading .nl files

Connecting a solver to AMPL

Safe low-overhead alternative to printf

Reporting system errors in C++ made easy