implemented AbstractProblem
updated tests
added some constraint stubs for testing