nissy/src/threader_eager.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.