1. b2bd1c5 ART: Formatting and comments in BooleanSimplifier by David Brazdil · 9 years ago
  2. 46e2a39 ART: Boolean simplifier by David Brazdil · 9 years ago