persistent bit vectors#40

backtracking wants to merge 10 commits intomasterbacktracking/bitv:masterfrom

persistent-bit-vectorsbacktracking/bitv:persistent-bit-vectorsCopy head branch name to clipboard