sat-solvers 0.1.1

Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

#ifndef _testing_hpp_INCLUDED
#define _testing_hpp_INCLUDED

// This class provides access to 'internal' which should only be used for
// internal testing and not for any other purpose as 'internal' is supposed
// to be hidden.

#include "cadical.hpp"

namespace CaDiCaL {

class Testing {
  Solver *solver;

public:
  Testing (Solver &s) : solver (&s) {}
  Testing (Solver *s) : solver (s) {}
  Internal *internal () { return solver->internal; }
  External *external () { return solver->external; }
};

} // namespace CaDiCaL

#endif