diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2024-11-11 12:43:22 +0100 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2024-11-11 12:43:22 +0100 |
| commit | 1fecaeb8293a3980f6fff312cb1d9f159e7c6b28 (patch) | |
| tree | 135483edfda9ceafc2ced33ab0727f1c6d701439 /methods | |
| parent | 5fa47ca73fa445056043b097bb9caf537df1f84a (diff) | |
| parent | 9f40a9a3251cc6b51bc50a5fe12c49a45a51aedd (diff) | |
Merge branch 'solver3-undo-one'
This is an initial set of refactorings to get closer to MiniSAT as
we try to clean up our understanding of the code. Propagation still
happens in-line, recursively, instead of using a propagation queue.
Diffstat (limited to 'methods')
0 files changed, 0 insertions, 0 deletions