nissy-core/configure.sh, branch master The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=master 2025-07-24T08:42:20Z Removed Makefile and configure.sh from old build system 2025-07-24T08:42:20Z Sebastiano Tronto sebastiano@tronto.net 2025-07-24T08:42:20Z urn:sha1:ad55171a802b227cbb894bd2c094ab99911b330e Remove configure + make build system. 2025-05-16T13:43:09Z Sebastiano Tronto sebastiano@tronto.net 2025-05-16T13:43:09Z urn:sha1:30b43f08955158d4f2066f4b50fe8d1241b3177b This commit also updates the README, cleans up some stuff and fixes some oopsies. Added stop / pause / resume solve to API 2025-04-29T08:08:04Z Sebastiano Tronto sebastiano@tronto.net 2025-04-29T08:08:04Z urn:sha1:8d3fc9f5f9c0593fcae9c451efe6c89c64dcbe84 Added WASM target 2025-04-18T12:41:26Z Sebastiano Tronto sebastiano@tronto.net 2025-04-18T12:41:26Z urn:sha1:c8a14e0e2789dd87df69c56d94b60d4c53a1d908 Make no sanitizer the default for debug build 2025-03-01T09:10:23Z Sebastiano Tronto sebastiano@tronto.net 2025-03-01T09:10:23Z urn:sha1:038469b6f27106ab2002c7da11c6bca2a5fe30ee Remove -Werror option 2024-12-18T18:21:20Z Sebastiano Tronto sebastiano@tronto.net 2024-12-18T18:21:20Z urn:sha1:bca11bdbd8c9912601974f61de6a55c3a41a2b79 Allow choosing number of threads when calling solve() 2024-12-14T10:59:22Z Sebastiano Tronto sebastiano@tronto.net 2024-12-14T10:59:22Z urn:sha1:4a88a686d5e08404080ed6954b70c0db252aa220 Change default number of threads from 16 to 8 2024-10-18T07:37:44Z Sebastiano Tronto sebastiano@tronto.net 2024-10-18T07:37:44Z urn:sha1:4f0403d24067c1f69b21cd29c5f9e5949e64c635 Initial support for Python 2024-10-12T17:32:20Z Sebastiano Tronto sebastiano@tronto.net 2024-10-12T17:32:20Z urn:sha1:17eda4dedb0d70c5a82edf77e9b3aaa1af5bfb19 Removed "options" from solver selection 2024-10-10T12:30:39Z Sebastiano Tronto sebastiano@tronto.net 2024-10-10T12:30:39Z urn: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.