nissy/src/solver.c, branch master Where is nissy? https://git.tronto.net/nissy/atom?h=master 2021-11-11T20:37:34Z Rewritten from scratch. Welocme nissy 2.0! 2021-11-11T20:37:34Z Sebastiano Tronto sebastiano.tronto@gmail.com 2021-11-11T20:37:34Z urn:sha1:3568412f8f230774d0d11d7ed1c897424f95d3ef Added CO first command 2020-09-21T22:04:49Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-09-21T22:04:49Z urn:sha1:a2a7678518ec1db608f37f0521a3f8b61e97f868 Bugfix: NISS and pruning table check 2020-09-18T23:38:07Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-09-18T23:38:07Z urn:sha1:96ffb29a550451152b125f353a2107141610bc27 Fixed a bug with NISS 2020-07-27T13:29:13Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-07-27T13:29:13Z urn:sha1:5ca725cdd08814791bd57f30e5066d63cc7babc1 Added feature: scramble 2020-07-12T18:44:09Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-07-12T18:44:09Z urn:sha1:e1ebff51092baf5581b728baec05c52c4bb3445e Bug fix 2020-07-11T17:51:04Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-07-11T17:51:04Z urn:sha1:0fe7c8b43c50ae5701463acbb186a6fe0f53a773 First push 2020-06-21T21:01:57Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-06-21T21:01:57Z urn:sha1:0e8d73bb3edcc8bdff6e3ded442b66f68265059a