ref: dce2c66c1a97657bd90dfa35cd76d7efc61d5f5b
parent: 3974cdefc9a362954aedaa2b3c9e21978f59c561
author: aiju <devnull@localhost>
date: Wed Mar 28 16:36:04 EDT 2018
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);
--
⑨