The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
Allow creation of clauses, cardinality and pseudo boolean constraints using arrays of primitive type
When creating test cases, it is painful for many users to create feed VecInt to create new clauses. It would be much simpler to simply use arrays of integers in addClause for instance.