more flexible constraints for matrices

e.g., max indegree, max outdegree, and boolean combinations