Ocaml bindings for the DepQBF QBF solver's C API. More information on DepQBF can be found here: http://lonsing.github.io/depqbf/
Naturally, you need to have the DepQBF compiled on your system. This code was tested with DepQBF version 6.03.
ocamlc -c depqbf.ml
Note: before compiling, youd need to make sure that the file is
pointing to the correct location of qdpll.h
in your system. (This
should probably be generified at some point.)
ocamlc -c depqbf_stubs.c
To compile the example basic-api-example.ml
from the examples
directory:
ocamlc -custom -o prog unix.cma depqbf.cmo examples/basic-api-example.ml depqbf_stubs.o -ccopt -L<path-to-libqdpll.so.*> -cclib -lqdpll