#1 Performance measurement#2

dhendriks merged 18 commits into

com-github-javabdd:mastercom-github-javabdd/com.github.javabdd:masterfrom

magoorden:1-performance-measurementmagoorden/com.github.javabdd:1-performance-measurementCopy head branch name to clipboard