1. 8d5b8b2 ART: Force constants into the entry block 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