1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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, ...);
|
