ref: 44e857152b38bcbfdd1d4c95bfe6e1fc4ad7ae69
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, ...);