Find non-commutative group.
mace4 -f ncg.in > ncg.out8-Queens puzzle, Version 1 (works for any number n)
mace4 -n8 -m -1 -f queens1.in > queens1.out8-Queens puzzle, Version 2 (works for any number n)
mace4 -n8 -m -1 -f queens2.in > queens2.outSudoku
mace4 -n9 -m -1 -f sudoku.in > sudoku.outZebra Puzzle, Version 1
mace4 -n5 -m -1 -f zebra1.in > zebra1.outZebra Puzzle, Version 2
mace4 -n5 -m -1 -f zebra2.in > zebra2.out