[−][src]Module varisat::cdcl
Conflict driven clause learning.
Enums
| FoundConflict | Return type of |
Functions
| conflict_step | Find a conflict, learn a clause and backtrack. |
| find_conflict | Find a conflict. |
Conflict driven clause learning.
| FoundConflict | Return type of |
| conflict_step | Find a conflict, learn a clause and backtrack. |
| find_conflict | Find a conflict. |