Python bindinds of solver abstraction, ddp + unit-test