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.