Felbor: optimize logic puzzles