Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Lit.{apply_sign,hash,equal,compare}
ensure_lit_exists
simplify
implicitly before solve
value_at_level_0
unsat_core
okay
pp_value
and string_of_value
solve
add_clause
noalloc
fixes:
dune
for buildsrc/solver.h
, src/solver.c
, src/vec.c
and replaced them by the actual files; I did that because in cygwin, ocamlc wouldn't find solver.h in #include "solver.h"
. I might be mistaken but it's the only thing I found to avoid the problem...#ifdef _WIN32
wasn't proper for cygwin builds; plus, the uint64
isn't standard, changed to uint64_t
. See the SO topic here: http://stackoverflow.com/questions/126279