Generators

Simon Pruckerrequested to merge
generators into master

QCheck generators for formulas intended for property based tests in an extra library

Merge request reports