Mace2 Examples

• basic: Examples for a fixed domain size.
• iterate: Examples that iterate through domain sizes.
• lattice: Examples on the relationships between various varieties of lattice.
• propositional: Propositional examples for anldp.
• quasigroup: Quasigroup problems from Frank Bennett.