# Functions
CoverMax computes prime implicants and prime implicates for a given formula using maximal models.
CoverMaxWithHandler computes prime implicants and prime implicates for a given formula using maximal models.
CoverMin computes prime implicants and prime implicates for a given formula using minimal models.
CoverMinWithHandler computes prime implicants and prime implicates for a given formula using minimal models.
Minimum computes a minimum-size prime implicant for the given formula.
# Constants
No description provided by the author
No description provided by the author
# Structs
PrimeResult gathers the result of a prime implicant computation and holds implicants, implicates, and the cover type.
# Type aliases
CoverSort encodes the sort of the cover: Implicants or Implicates.