ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
mincov.h
Go to the documentation of this file.
1/*
2 * Revision Control Information
3 *
4 * $Source$
5 * $Author$
6 * $Revision$
7 * $Date$
8 *
9 */
10/* exported */
11extern sm_row *sm_minimum_cover();
sm_minimum_cover
sm_row * sm_minimum_cover()
sm_row
struct sm_row_struct sm_row
Definition sparse.h:22