nissy-core/doc/h48.md, branch h48-dfs-improvementsThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=h48-dfs-improvements2025-12-28T22:24:59ZUpdate doc2025-12-28T22:24:59ZSebastiano Trontosebastiano@tronto.net2025-12-28T22:24:59Zurn:sha1:6c000c39dde57233df233c8e448dd189958ae013First update to docs2025-12-28T19:20:34ZSebastiano Trontosebastiano@tronto.net2025-12-28T19:20:34Zurn:sha1:f4523e0422b1994a6fecba0efb336525d4f81d57Fix alignment2025-12-17T16:36:16ZSebastiano Trontosebastiano@tronto.net2025-12-17T16:36:16Zurn:sha1:ec9593e2ff0856d78b37df3a977a753be82bfddcRemove TODO section in doc2025-12-17T08:28:03ZSebastiano Trontosebastiano@tronto.net2025-12-17T08:28:03Zurn:sha1:e3bb9a1bfee72e83766c86f3cade8259b46c5618Cleanup, update documentation, fix examples2025-12-14T15:09:31ZSebastiano Trontosebastiano@tronto.net2025-12-14T14:12:36Zurn:sha1:bcd52547af58b15868e24f3904e307548d1fd505Updated h48 doc with recent improvements2025-11-25T17:08:24ZSebastiano Trontosebastiano@tronto.net2025-11-25T17:08:24Zurn:sha1:6c42463b800bbab4583e90aeb748a79037c65a9eAdded notes on possible performance improvements for H482025-08-07T13:53:08ZSebastiano Trontosebastiano@tronto.net2025-08-07T13:53:08Zurn:sha1:22282840b74d434b79e87d82e4ea075baa82a51cTrick fix2025-06-18T11:40:00ZSebastiano Trontosebastiano@tronto.net2025-06-18T11:40:00Zurn:sha1:0e334e8659deaf61c3eef57e8ccd171a5becedb3Update H48 doc2025-06-18T07:53:07ZSebastiano Trontosebastiano@tronto.net2025-06-18T07:53:07Zurn:sha1:e71e2776674a748372e95702be49af2753ff3d48Added documentation about symmetry issues with pruning tables2025-06-13T06:45:20ZSebastiano Trontosebastiano@tronto.net2025-06-13T06:45:20Zurn:sha1:8ac3998636180a79a2a5cf494f143cf79e1eae4e