Deepsolver
Public Member Functions
LibMinisatCallData Class Reference

List of all members.

Public Member Functions

void setClauseSizes (size_t *clauseSizes)
void setCollisions (unsigned char *collisions)
void setEquation (size_t clauseCount, int **equation)
void setSolution (unsigned char *solution)