9 lines
144 B
C
9 lines
144 B
C
#ifndef _import_h_INLCUDED
|
|
#define _import_h_INLCUDED
|
|
|
|
struct kissat;
|
|
|
|
unsigned kissat_import_literal (struct kissat *solver, int lit);
|
|
|
|
#endif
|