nissy-core/utils/solved.txt, branch master The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=master 2024-06-09T17:25:04Z sorted utils folder 2024-06-09T17:25:04Z Sebastiano Tronto sebastiano@tronto.net 2024-06-09T17:25:04Z urn:sha1:b218c803ae1110b08b4896be0a59177e280c9091 Split isconsistent() and issolvable() 2023-10-05T13:30:21Z Sebastiano Tronto sebastiano@tronto.net 2023-10-05T13:28:45Z urn:sha1:ffb67c9dcd22c4c3258b9ef78301e404e7d9a796 Implemented compose; some cleanup 2023-10-05T07:42:39Z Sebastiano Tronto sebastiano@tronto.net 2023-10-05T07:31:02Z urn:sha1:9e698917cb5b332cdbf1969ddfe3840239106c8d