ref: 02b57c652300e52e2a2296c19caf8a2ef7c115e5
dir: /sys/src/cmd/forp/fns.h/
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, ...);