added constraint solver trait and lib
builds again