Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
Public Attributes | List of all members
ProofClause Struct Reference
Collaboration diagram for ProofClause:

Public Attributes

std::vector< int > lits
 
bool isAddition
 
The documentation for this struct was generated from the following file:
Generated by doxygen 1.12.0 Doxygen Theme by doxygen-awesome