Merge branch 'develop' into feature-docs
update docs
Merge branch 'develop' of github.com:chocoteam/choco3 into feature-docs
Comment runner test
[maven-release-plugin] prepare for next development iteration
integrate the development version 3.2.1-SNAPSHOT generated by maven
code prepared for development version 3.2.1-SNAPSHOT
Clean up release.sh (now that maven-release-plugin seeems up-to-date..)
Merge branch 'develop' into feature-docs
Merge branch 'feature-docs' into develop
circuit
[fix#206] lack of robustess in eucl_div
Merge branch 'fix-JLdiv' into develop
update bump_release.sh
update bump_release.sh
default circuit conf
Merge branch 'develop' into feature-fixCircuit

Conflicts:
	CHANGES.md
Merge branch 'feature-fixCircuit' into develop
graph degrees

incremental and coarse propagation available
minor

toString