1This directory contains an example of a Perl program that 2calls MACE. 3 4File Sheffer-mgi-without-mirrors contains Boolean algebra 5identities alpha=x in terms of the Sheffer stroke. Every such, 6identity of length <= 15, or its mirror image, is subsumed by a 7member of that file. 8 9The Perl program commute4_filter goes through a file of 10equations (one equation per line) and calls MACE for each, 11looking for a noncommutative model of size <= 4. If none 12exist, the equation is printed. 13 14The command 15 16 commute4_filter < Sheffer-mgi-without-mirrors > candidates 17 18should produce 25 candidates. 19 20NOTE: You might have to edit commute4_filter to point it at the mace2 binary. 21