print memory usage
Merge branch 'master' of github.com:skcho/zooberry
Merge branch 'master' of github.com:skcho/zooberry
bdd dugraph
use array in bdd-based dugraph
rollback MyMap to BatMap
hybrid dug
Merge branch 'master' of github.com:skcho/zooberry
DUSet optimization
msg
remove -densify option
remove return semantics (again)