Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
ErrorCodes.hpp
1
6#pragma once
7
9#define PERR_PARSING -1
10
12#define PERR_MPI -2
13
15#define PERR_DIST_COMPILE -3
16
18#define PERR_NOT_SUPPORTED -4
19
21#define PERR_UNKNOWN_SOLVER -5
22
24#define PERR_ARGS_ERROR -6
25
27#define PWARN_LSTRAT_CPU_COUNT 1