Solver

SAT-solver.

PySat solver

'solver': {
    'slug': 'solver:pysat:<name>'
}

Names: cd, g3, g4, lgl, mcb, mcm, mpl, mc, m22, mgh.

Native solver

Native solvers should be built in the appropriate directories.

'solver': {
    'slug': 'solver:native:<name>'
}

Names: kissat

Linear solver

Linear solver should be built in the directory <SOLVER_PATH>/linear/propagate (SOLVER_PATH from .env file).

'solver': {
    'slug': 'solver:linear'
}