Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
src
utils
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
Generated by
1.12.0 Doxygen Theme by
doxygen-awesome