Joachim

I’d like submit the Quantified Constraints proposal (#109) to the committee

Simon