19 lines
495 B
C
19 lines
495 B
C
typedef struct SATSolve SATSolve;
|
|
|
|
void *emalloc(ulong);
|
|
void *erealloc(void *, ulong);
|
|
void parse(char *);
|
|
void error(Line *, char *, ...);
|
|
Node *node(int t, ...);
|
|
Symbol *symget(char *);
|
|
void convert(Node *, uint);
|
|
void obviously(Node *);
|
|
void go(int);
|
|
void assume(Node *);
|
|
int satand1(SATSolve *, int *, int);
|
|
int satandv(SATSolve *, ...);
|
|
int sator1(SATSolve *, int *, int);
|
|
int satorv(SATSolve *, ...);
|
|
int satlogic1(SATSolve *, u64int, int *, int);
|
|
int satlogicv(SATSolve *, u64int, ...);
|