TritModel.cc uses abc kissat. Include the necessary header.

Signed-off-by: Henner Zeller <h.zeller@acm.org>

Author: hzeller

src/syn/src/ir/TritModel.cc

@@ -18,6 +18,7 @@
 #include <utility>
 #include <vector>
 
+#include "sat/kissat/kissat.h"
 #include "sta/FuncExpr.hh"
 #include "sta/Liberty.hh"
 #include "sta/PortDirection.hh"
@@ -27,17 +28,6 @@
 #include "syn/ir/Net.h"
 #include "utl/Logger.h"
 
-namespace abc {
-extern kissat* kissat_init();
-extern void kissat_release(kissat* solver);
-extern void kissat_add(kissat* solver, int lit);
-extern int kissat_solve(kissat* solver);
-extern int kissat_value(kissat* solver, int lit);
-extern void kissat_set_terminate(kissat* solver,
-                                 void* state,
-                                 int (*terminate)(void* state));
-}  // namespace abc
-
 namespace syn {
 
 Solver::Solver()