OBDD.Cube

type Cube v

primes

nice

data Check

sign

occurs

original

process

prime

naive way of finding a minimal set of clauses.

dnf

cnf

greed

clause