Releases: johnrudge/xcover
Releases · johnrudge/xcover
v0.2.4
Minor tweak to file reading
v0.2.3
Use graphillion setset object in example
v0.2.2
Properly suppress the zero nodes of the ZDD.
v0.2.0
Add support for generating ZDDs
v0.1.7
Don't trail the forced moves (algorithm C+)
v0.1.5
Minor change so jit-disabled version still works.
v0.1.4
Experiment with unsigned ints for small speedup.
v0.1.3
Small optimization of choose routine.