Removed Maybe wrapper
Moved Parameters definition
Added a recursive relxation solving strategy to solve arrangment subject to maximal constraints