diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-08-27 17:44:17 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-08-27 17:44:17 +0200 |
| commit | b5efa2c7bfa259f1b9f5afa68349e2742427de80 (patch) | |
| tree | 106ddc90aa7aa92558415f89a8b39076ab508364 /tools/001_gendata_h48h0k4 | |
| parent | c558c7989eaa0921f7b29ee274b325f4f6d97f8c (diff) | |
| download | nissy-core-b5efa2c7bfa259f1b9f5afa68349e2742427de80.tar.gz nissy-core-b5efa2c7bfa259f1b9f5afa68349e2742427de80.zip | |
New tool for benchmarking small solver
Diffstat (limited to '')
| -rw-r--r-- | tools/001_gendata_h48h0k4/gendata_h48h0k4.c (renamed from tools/001_gendata_h48/gendata_h48.c) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/001_gendata_h48/gendata_h48.c b/tools/001_gendata_h48h0k4/gendata_h48h0k4.c index a73f818..a73f818 100644 --- a/tools/001_gendata_h48/gendata_h48.c +++ b/tools/001_gendata_h48h0k4/gendata_h48h0k4.c | |||