possibly ill-conceived model library to play with
add a (currently failing) test
Added feasibility checker to GP
Extended GP tests to all solvers