The bliss C++ API 0.77 (Debian 0.77-3)