Searched defs:bool (Results 1 - 1 of 1) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.h35 typedef int bool; typedef
36 static const bool true = 1;
37 static const bool false = 0;
75 extern bool solver_addclause(solver* s, lit* begin, lit* end);
76 extern bool solver_simplify(solver* s);
77 extern bool solver_solve(solver* s, lit* begin, lit* end);

Completed in 18 milliseconds