Statistics of Satisfiability of general intruder constraints with a set constructor

Contact ORBilu