Simplifier icon indicating copy to clipboard operation
Simplifier copied to clipboard
verified publisher icon mazeworks-security

Improve boolean minimization

Open Colton1skees opened this issue 9 months ago • 1 comments

  • Implements algorithm for recovering bitwise ORs

Colton1skees avatar Mar 12 '25 00:03 Colton1skees

Dropping this in favor of the groebner basis-based boolean minimizer

Colton1skees avatar May 04 '25 12:05 Colton1skees