Extend quantifier API to support user specified weights

IagoAbal / haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

Other

57 stars 43 forks source link

Closed maurobringolf closed 3 years ago

maurobringolf commented 3 years ago

Currently quantifiers are always built with the default weight 0, this PR extends the quantifier constructors with an argument for the weight.