minisat

Bindings to Minisat-C-1.14.1, with the solver included
IN THIS PACKAGE
  • move to github actions for CI

  • perf: release runtime lock in solve

  • perf: fast path for add_clause

  • perf: annotate some C functions as noalloc

0.3

  • fixes:

    • return code of caml_minisat_value

    • fallthrough comment

    • pointer cast

  • update travis file to add 4.09

  • only ask for dune 1.0

0.2

  • migrate to dune for build

  • upgrades to the CI

0.1

  • Edits for continous integration:

  • removed symlinks of src/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...

  • modified the uint64 typedef that was causing issues in cygwin+ocamlc.
    In fact, the #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

  • initial release