Painless: /github/workspace/src/solvers/CDCL/KissatFamily.hpp Source File

Painless

A framework to ease parallelization of sequential CDCL SAT solvers

Loading...

Searching...

No Matches

#pragma once
enum class KissatFamily
{
    SAT_STABLE = 0,
    MIXED_SWITCH = 1,
    UNSAT_FOCUSED = 2,
};