Skip to content

ujamjar/hardcaml-bloop

Repository files navigation

Boolean representations

Circuits represented as boolean functions, and related data structures

Build Status

  • Position cube notation
  • BDDs
  • Boolean expressions
  • SAT solving
  • Algebraic division
  • Karnaugh map rendering