ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
propdense.h
Go to the documentation of this file.
1#ifndef _propdense_h_INCLUDED
2#define _propdense_h_INCLUDED
3
4#include <limits.h>
5#include <stdbool.h>
6
7#include "global.h"
8ABC_NAMESPACE_HEADER_START
9
10struct kissat;
11
12bool kissat_dense_propagate (struct kissat *);
13
14ABC_NAMESPACE_HEADER_END
15
16#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_dense_propagate
bool kissat_dense_propagate(struct kissat *)
Definition propdense.c:88