CaDiCaL Namespace Reference