kissat_solver_ Struct Reference

#include <kissatSolver.h>

Public Attributes
void *	p
int	nVars

Detailed Description

Definition at line 42 of file kissatSolver.h.

Member Data Documentation

nVars

int kissat_solver_::nVars

Definition at line 45 of file kissatSolver.h.

p

void* kissat_solver_::p

Definition at line 44 of file kissatSolver.h.

---

The documentation for this struct was generated from the following file:

• src/sat/kissat/kissatSolver.h