Skip to content

Paramita

File TestSatSolver.hpp

File TestSatSolver.hpp¶

#include <doctest/doctest.h>
#include <paramita/sat/SatSolver.hpp>
#include <paramita/tests/DummyImplementations.hpp>
#include <paramita/tests/sat/TestNonIncrSatSolver.hpp>
#include <vector>

Macros¶

Type	Name
define	GENERATE_DOCTESTS_FOR_SAT_SOLVER (class_name) `/* multi line expression */`

Macro Definition Documentation¶

define GENERATE_DOCTESTS_FOR_SAT_SOLVER¶

#define GENERATE_DOCTESTS_FOR_SAT_SOLVER (
    class_name
) `/* multi line expression */`