Module volute::sop

Sum-of-Products representations

This module provides two-level representations such as Sum-of-Products and Sum-of-Exclusive Sums.

Modules

• optimoptim-mip or optim-sat
  Optimization of boolean function representation using mathematical programming

Structs

• Cube
  Representation of the And of variables (a cube in Sum-of-Products representations)
• Ecube
  Representation of the Xor of variables, similar to Cube for Xor
• Esop
  Exclusive Sum of Products representation (Xor of And)
• Soes
  Sum of Exclusive Sums representation (Or of Xor)
• Sop
  Sum of Products representation (Or of And)