cleanup and refactor
expose constraint solver. bump version number