small modifications
small modifications
replace random number generator
replace random number generator
use meaningful arguments in python
add tests for iterators in py
add invert(e) in GraphSet
search libgmp path automatically in setup.py