1. 46e2a39 ART: Boolean simplifier by David Brazdil ยท 9 years ago