de.hhu.stups.sablecc.patch
de.stups.probkodkod
de.stups.probkodkod.bounds
de.stups.probkodkod.parser.analysis
de.stups.probkodkod.parser.lexer
de.stups.probkodkod.parser.node
de.stups.probkodkod.parser.parser
de.stups.probkodkod.sat
de.stups.probkodkod.tools
de.stups.probkodkod.types
