witness.h File Reference

#include <stdbool.h>
#include "global.h"

Include dependency graph for witness.h:

Go to the source code of this file.

Functions
void	kissat_print_witness (struct kissat *, int max_var, bool partial)

Function Documentation

kissat_print_witness()

void kissat_print_witness	(	struct kissat *	,
		int	max_var,
		bool	partial )