Topics

Here is a list of all topics with brief descriptions:

[detail level 12]

▼Painless Containers Classes	Different clause related data structures
Clause Databases	Different ClauseDatabase implementations
▼Sharing	Different Classes for Sharing clauses between solvers and other type of entities
Inter-Process Sharing Strategies	Different Classes for Sharing clauses between different processes
Intra-Process Sharing Strategies	Different Classes for Sharing clauses between different threads in the same process
▼SAT Solvers	Different Classes for SAT formula processing
Preprocessing Techniques	Different Classes for SAT Formula preprocessing
CDCL Solvers	Different Classes for CDCL (Conflict-Driven Clause Learning) solvers interaction
Local Search Solvers	Different Classes for Local Search solver interaction
Hashing functions
Utilities	Different Utilities
Working Strategies	Working Strategies related classes