Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
queuePair Struct Reference

queuePair struct used for the priorityQueue in solve More...

#include <StructuredBva.hpp>

Collaboration diagram for queuePair:

Public Attributes

int lit
 
unsigned int occurencesCount
 

Detailed Description

queuePair struct used for the priorityQueue in solve


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