diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2025-03-13 15:20:49 +0100 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2025-03-20 10:26:51 +0100 |
| commit | c741e4f3bc7143031f70b5a353aafc004d26c220 (patch) | |
| tree | 2e5f09a595a65a6699b68b460a8e79a42377fcc2 /debian | |
| parent | 11917fa559c6c9bc5b0993b435f295de06bd161c (diff) | |
solver evaluation: write minimized solver dumps
These are faster to generate and significantly smaller.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions