package ocaml-sat-solvers

You can search for identifiers within the package.

in-package search v0.2.0

An abstraction layer for integrating SAT Solvers into OCaml

Install

dune-project

Dependency

sha256=d5e5f3b98eabaeb8dd106fd79e425ee28f7301c52f7d35453b5f99233720a4e5

sha512=caa023cfd102edf0b36d36a9ac2e8a8154491ec68973cae00e8fb4ea19cb22b02634119a5c92110ce03cfea196771afe987f734f7efd7eb0bc21fd96855935fc

Sourceval register_solver : Satwrapper.solverFactory -> unit

Sourceval mem_solver : string -> bool

Sourceval find_solver : string -> Satwrapper.solverFactory

Sourceval enum_solvers : (Satwrapper.solverFactory -> unit) -> unit

Sourceval fold_solvers : (Satwrapper.solverFactory -> 'a -> 'a) -> 'a -> 'a

Sourceval get_list : unit -> Satwrapper.solverFactory list

Sourceval get_default : unit -> Satwrapper.solverFactory

Sourceval set_default : string -> unit