renamed package
created Central facade, found several bugs in the solvers and validators, solved them