new lwb.prop.cardinality für Boolean cardinality constraints
new lwb.prob.examples.sudoku parser for sudoku puzzles
new resources.sudoku files from Peter Norvig with sudoku puzzles