diff options
| author | Julian Andres Klode <jak@debian.org> | 2026-01-06 11:45:16 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2026-01-31 15:08:29 +0100 |
| commit | ceca5e8d0f9e1a1c5297ed79f00ca76c61e2140c (patch) | |
| tree | 18a63e606dbeba7d3ebd68c8fcd099077159706d /Dockerfile | |
| parent | 0a37f95b2d9582c5cad95725302abaf0635ee8a3 (diff) | |
solver3: Use LiftedBool for Obsolete state
Quite a convenient way since we need exactly lifted bool semantics
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions