Would love to know how to actually assess the runtime complexity of constraint solvers like this.