hirsch conjecture test program
With boolean array for base
Added makefile
Using a bitmask for base (bugged)
Fixed bitmap, added d
Added support for |F_i|>1.
compact notation
Wrote a ROBDD class.
Added subset, supset and caching
More optimization
robdd construct and check operations
It compilesmake
Fixed mem errors
Fixed le bug
Precompute subsets
Fixed mem-leak
Fix remaining memory leaks
Added some symetry breaking
Merge remote-tracking branch 'origin/master'
Added links