ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
shrink.h
Go to the documentation of this file.
1#ifndef _shrink_h_INCLUDED
2#define _shrink_h_INCLUDED
3
4#include "global.h"
5ABC_NAMESPACE_HEADER_START
6
7struct kissat;
8
9void kissat_shrink_clause (struct kissat *);
10
11ABC_NAMESPACE_HEADER_END
12
13#endif
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
kissat_shrink_clause
void kissat_shrink_clause(struct kissat *)
Definition shrink.c:362