diff options
| author | Julian Andres Klode <jak@debian.org> | 2025-12-21 23:16:30 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2026-01-05 21:20:24 +0000 |
| commit | e456e83b4a3986b672dbe98ed9b508606f2eb867 (patch) | |
| tree | 8b6f97cc48f3b5c2f58f8687549f7a3a9899077f /debian | |
| parent | 982b94ba9d7615d2b5a6420411c3d41356fdf19a (diff) | |
solver3: Rename Decision to LiftedBool
MUST becomes True, MUSTNOT becomes False, and NONE becomes
Undefined.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions