diff options
| author | Julian Andres Klode <jak@debian.org> | 2025-12-22 18:14:38 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2026-01-05 21:20:24 +0000 |
| commit | 93675680fca31004d5ea9e011d025c0ff189fc81 (patch) | |
| tree | 39bc67669e3c1bd0696bd8ec1794c09ac7e0df53 /debian | |
| parent | e456e83b4a3986b672dbe98ed9b508606f2eb867 (diff) | |
solver3: Rename key concepts to MiniSAT names
This should make it easier for people with MiniSAT knowledge
to onboard themselves to the solver.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions