only care about constraint tests right now
Merge branch 'interacting-solvers' of github.com:timfel/babelsberg-r into interacting-solvers