Changelog for set-cover-0.1.1
Change log for the set-cover package
0.1
-
SetCover.Exact.decisionTree,SetCover.Exact.Priority.decisionTree: Allow the programmer to generate human-friendly solutions. -
SetCover.Cuboid:dx,dy,dz->rotX,rotY,rotZ -
SetCover.Bit: methodcomplementreplaced bydifference. This way, we do not need the cumbersomeSetCover.IntSetmodule anymore. -
SetCover.BitMapmade private. -
SetCover.BitPriorityQueuemade public. -
SetCover.Exact.State.usedSubsets: Only store labels, not assignments. This is consistent withSetCover.Exact.Priority.State. -
SetCover.Exact.minimize: allow an empty list of available subsetsSetCover.Exact.step,SetCover.Exact.Priority.step: They do not need to test for an emptyavailableSubsetanymore. -
SetCover.Exact.step: Require non-empty set of free elements. This is consistent withSetCover.Exact.Priority.step. Until now,stepreturned an empty list if the were no free elements. This is not very helpful since it will throw away already completed solutions. The test is also redundant whenstepis called fromsearch.
0.0.8
SetCover.Exact.Priorityimplements the Algorithm X using a priority queue that registers the sets each element is contained in. This allows for drastic speedup of theNonogramexample.
0.0.7
-
ESC.bitVectorFromSetAssignsallows to turn sets into bit vectors without manual bit position gymnastics. -
Use it in
SudokuandNonogramexamples.
0.0.6
- Add
SetCover.Exact.Setinstances forMap,Integer,IntSet.
0.0.5.1
example/Nonogram: explore different encodings of the problem