#include "global.h"

Go to the source code of this file.
Namespaces | |
| namespace | CaDiCaL |
Functions | |
| const char * | CaDiCaL::version () |
| const char * | CaDiCaL::copyright () |
| const char * | CaDiCaL::authors () |
| const char * | CaDiCaL::affiliations () |
| const char * | CaDiCaL::signature () |
| const char * | CaDiCaL::identifier () |
| const char * | CaDiCaL::compiler () |
| const char * | CaDiCaL::date () |
| const char * | CaDiCaL::flags () |