diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-05 09:24:33 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-05 09:24:33 +0200 |
| commit | ce787387f258a4d7caab39d2c2c7d2161ae89a82 (patch) | |
| tree | 1fc2585b30a18611b10fc99ba05131f80a792c80 /src/solvers/h48/h48.h | |
| parent | f870e452dd99313c23aa776e2a1caa3a69e69dec (diff) | |
| download | nissy-core-ce787387f258a4d7caab39d2c2c7d2161ae89a82.tar.gz nissy-core-ce787387f258a4d7caab39d2c2c7d2161ae89a82.zip | |
Shortened name for solvetests
Diffstat (limited to 'src/solvers/h48/h48.h')
0 files changed, 0 insertions, 0 deletions
