2 new convenience methods: getBoolMatrix and getIntMatrix Got rid of method to print constraint equations, was useless