Requirements gathering active. solver/backend fixed and unit tested