Boolean Matcher

Source code and benchmarks

Notes

• matcher3.cpp is what you want to look at.
• Functions are read from stdin, examples are in benchmarks directory.
• Input size is set at compile time :(
• Undefine TIMING if you don't have the perfctr library installed.

Reference

• D. Chai and A. Kuehlmann, Building a Better Boolean Matcher and Symmetry Detector, Design Automation and Test in Europe, 2006.