shithub: riscv

Info  •  Files  •  Log  •  Branches

sat.h: update to include satget

--- a/sys/include/sat.h

+++ b/sys/include/sat.h

@@ -105,4 +105,4 @@

 int satval(SATSolve *, int);

 void satfree(SATSolve *);

 void satreset(SATSolve *);

-

+int satget(SATSolve *, int, int *, int);