nissy-core/test/01_io/06_inconsistent_cp.out, branch master The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=master 2023-10-05T13:30:21Z Split isconsistent() and issolvable() 2023-10-05T13:30:21Z Sebastiano Tronto sebastiano@tronto.net 2023-10-05T13:28:45Z urn:sha1:ffb67c9dcd22c4c3258b9ef78301e404e7d9a796 Renamed test folders to keep order 2023-06-19T13:06:11Z Sebastiano Tronto sebastiano@tronto.net 2023-06-19T13:06:11Z urn:sha1:c5dfc897160bc9bbc6a91c77b5d58d421fd1cfe1