Language and engine for solving arbitrary CS problems