9 lines
153 B
C
9 lines
153 B
C
#ifndef _witness_h_INCLUDED
|
|
#define _witness_h_INCLUDED
|
|
|
|
struct kissat;
|
|
|
|
void kissat_print_witness (struct kissat *, int max_var, bool partial);
|
|
|
|
#endif
|