SnopSolver: adding inline documentation