diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2026-03-01 18:19:04 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2026-03-01 18:19:04 +0100 |
| commit | 895a8ec484ead49ab243772895b24b787e94ef0e (patch) | |
| tree | 1302cc572307cc1dc23655999c689069c3b76bfc /utils/generated_trans_tests/102_UFr_R.in | |
| parent | 2c291aed4bb80f07e8557284d3399cf1e2a4ccb9 (diff) | |
| download | nissy-core-895a8ec484ead49ab243772895b24b787e94ef0e.tar.gz nissy-core-895a8ec484ead49ab243772895b24b787e94ef0e.zip | |
Improve solver name check
Diffstat (limited to 'utils/generated_trans_tests/102_UFr_R.in')
0 files changed, 0 insertions, 0 deletions