diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2024-08-01 12:43:09 +0900 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2024-11-02 10:23:15 +0100 |
| commit | 761fc96fe6158d46f11137c14822545ac0b0fe91 (patch) | |
| tree | be1f908a2b22b13a368cf2bcfe70709bb8794ddd /test | |
| parent | 09e853dd424a6ab53bd5791de75894a985968399 (diff) | |
solver3: Track all assignments and undo them individually
Adopt MiniSAT's strategy for dealing with assignments and choices,
having a single step undoOne() function to undo one and record them
all on the queue; this should likely speed up backtracking since we
no longer need to rescan everything.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions