nissy-core/tools/tool.sh, branch masterThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=master2025-05-16T13:43:09ZRemove configure + make build system.2025-05-16T13:43:09ZSebastiano Trontosebastiano@tronto.net2025-05-16T13:43:09Zurn:sha1:30b43f08955158d4f2066f4b50fe8d1241b3177b
This commit also updates the README, cleans up some stuff and fixes
some oopsies.
Removed "options" from solver selection2024-10-10T12:30:39ZSebastiano Trontosebastiano@tronto.net2024-10-10T12:30:39Zurn:sha1:f8d247c53c3c3bd94fed645b5b47a9096cadc123
Now the solver name fully determines the solver (and options)
to be used. For example, now one must specify "h48h0k4" as the
name of the solver.
This PR also fixes a couple of things in tools.
Clean up tool output2024-10-04T06:58:47ZSebastiano Trontosebastiano@tronto.net2024-10-04T06:58:47Zurn:sha1:32009294d2de3e197c8d4dc950559ff948ea2fc9Do not run make clean automatically on every build and other Makefile changes2024-10-03T08:25:03ZSebastiano Trontosebastiano@tronto.net2024-10-02T16:37:36Zurn:sha1:b8d17736ce2c85174a47c7200ef6d19a51d0c347