rustsat-cadical 0.7.5

Interface to the SAT solver CaDiCaL for the RustSAT library.
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
25
26
27

#ifndef NCONTRACTS

#include "internal.hpp"

namespace CaDiCaL {

void fatal_message_start ();

// See comments in 'contract.hpp'. Ugly hack we keep for now.

void require_solver_pointer_to_be_non_zero (const void *ptr,
                                            const char *function_name,
                                            const char *file_name) {
  if (ptr)
    return;
  fatal_message_start ();
  fprintf (stderr,
           "invalid API usage of '%s' in '%s': "
           "solver 'this' pointer zero (not initialized)\n",
           function_name, file_name);
  fflush (stderr);
  abort ();
}

} // namespace CaDiCaL

#endif