1. 769c9e5 ART: Simplify Ifs with BooleanNot condition by David Brazdil · 10 years ago
  2. b2bd1c5 ART: Formatting and comments in BooleanSimplifier by David Brazdil · 10 years ago
  3. 46e2a39 ART: Boolean simplifier by David Brazdil · 10 years ago