nissy/src/pruning.h, branch master Where is nissy? https://git.tronto.net/nissy/atom?h=master 2023-05-01T14:33:51Z Split nissy in other repos, see README.md 2023-05-01T14:33:51Z Sebastiano Tronto sebastiano@tronto.net 2023-05-01T14:33:51Z urn:sha1:bf44088d4373a9520e860152c56a958332819c4b I made a mess, but it works. Still need to implement new optimal solver. 2023-03-05T09:13:01Z Sebastiano Tronto sebastiano@tronto.net 2023-03-05T09:13:01Z urn:sha1:87a15e960e31365698df7e06cd3e6b851e17c1a5 After that, a big redesign is due. Modified pruning table generation (new compressed) + website update 2022-09-10T15:52:57Z Sebastiano Tronto sebastiano@tronto.net 2022-09-10T15:52:57Z urn:sha1:86dd040a2d2f06e8355f5441fb1da5ed59ecc399 Symcoord version of nissy. Interesting idea, but performance are 2022-09-06T16:00:40Z Sebastiano Tronto sebastiano@tronto.net 2022-09-06T16:00:40Z urn:sha1:a125e69c8ce0a2764b1e50b2dad0a4fa9d141ef4 actually slower. AT THIS STAGE NISSY IS NOT USABLE. Added freemem command 2022-03-12T18:13:54Z Sebastiano Tronto sebastiano.tronto@gmail.com 2022-03-12T18:13:54Z urn:sha1:def25ea64b097d2a994eb33c91dc66248233afec Removed some unused code (khuge). Improved optimal solver performance by about 10% using raw transition tables (same for dr step). 2022-02-27T16:31:42Z Sebastiano Tronto sebastiano@tronto.net 2022-02-27T16:31:42Z urn:sha1:36fb1d0fa1b70ee62dc6073d56176e8c81ceddfd Removed array-size constants for certain objects (steps, commands...) 2022-02-27T15:53:22Z Sebastiano Tronto sebastiano@tronto.net 2022-02-27T15:53:22Z urn:sha1:7de88d1bcd420447023b8e74b0aa4f5e8ba1df6b Added a new pruning table (equivalent to nxopt31). I have not tested it yet, it takes a while to generate. 2021-12-16T18:25:58Z Sebastiano Tronto sebastiano.tronto@gmail.com 2021-12-16T18:25:58Z urn:sha1:2f924f942bd6e7126e8f1d8692e475c95bd9fe82 Plus I have done a whole lot of refactoring in random places because I cannot focus on one thing at the time. Added gen command and modified installation instructions for tables 2021-12-10T17:15:20Z Sebastiano Tronto sebastiano.tronto@gmail.com 2021-12-10T17:15:20Z urn:sha1:6c28dec4a111ad73f8ac17c89305a951371f765d Multi-threaded pruning table generation - now it's actually fast :) 2021-12-08T23:42:39Z Sebastiano Tronto sebastiano.tronto@gmail.com 2021-12-08T23:42:39Z urn:sha1:8acabe18cad69d7c7ed7a00ffef654abc3873a16