ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
exact.c File Reference
#include "espresso.h"
Include dependency graph for exact.c:

Go to the source code of this file.

Functions

pcover minimize_exact (pcover F, pcover D, pcover R, int exact_cover)
 
pcover minimize_exact_literals (pcover F, pcover D, pcover R, int exact_cover)
 

Function Documentation

◆ minimize_exact()

pcover minimize_exact ( pcover F,
pcover D,
pcover R,
int exact_cover )

Definition at line 30 of file exact.c.

33{
34 return do_minimize(F, D, R, exact_cover, /*weighted*/ 0);
35}

◆ minimize_exact_literals()

pcover minimize_exact_literals ( pcover F,
pcover D,
pcover R,
int exact_cover )

Definition at line 39 of file exact.c.

42{
43 return do_minimize(F, D, R, exact_cover, /*weighted*/ 1);
44}