ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
fastel.h
Go to the documentation of this file.
1#ifndef _fastel_h_INCLUDED
2
3#include "global.h"
4ABC_NAMESPACE_HEADER_START
5
6struct kissat;
7void kissat_fast_variable_elimination (struct kissat *);
8
9ABC_NAMESPACE_HEADER_END
10
11#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_fast_variable_elimination
void kissat_fast_variable_elimination(struct kissat *)