Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
xorgate Struct Reference
Collaboration diagram for xorgate:

Public Member Functions

 xorgate (int _c, int _rhs, int _sz)
 

Public Attributes

int c
 
int rhs
 
int sz
 

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