Skip to content

Releases: johnrudge/xcover

v0.2.4

20 Oct 18:00
Compare
Choose a tag to compare

Minor tweak to file reading

v0.2.3

15 Oct 17:11
Compare
Choose a tag to compare

Use graphillion setset object in example

v0.2.2

05 Oct 10:10
Compare
Choose a tag to compare

Properly suppress the zero nodes of the ZDD.

v0.2.1

03 Oct 19:45
Compare
Choose a tag to compare

Fixed ordering for ZDDs.

v0.2.0

27 Sep 17:29
Compare
Choose a tag to compare

Add support for generating ZDDs

v0.1.7

05 Mar 17:30
Compare
Choose a tag to compare
Don't trail the forced moves (algorithm C+)

v0.1.6

03 Mar 14:25
Compare
Choose a tag to compare
Switch to uint32

v0.1.5

02 Mar 17:58
Compare
Choose a tag to compare
Minor change so jit-disabled version still works.

v0.1.4

02 Mar 14:09
Compare
Choose a tag to compare
Experiment with unsigned ints for small speedup.

v0.1.3

25 Feb 11:07
Compare
Choose a tag to compare
Small optimization of choose routine.