package mc2

You can search for identifiers within the package.

in-package search v0.2.0

A mcsat-based SMT solver in pure OCaml

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

Maintainers

S

simon.cruanes.2007@m4x.org

Sources

v0.1.tar.gz

md5=92de696251ec76fbf3eba6ee917fd80f

sha512=e88ba0cfc23186570a52172a0bd7c56053273941eaf3cda0b80fb6752e05d1b75986b01a4e4d46d9711124318e57cba1cd92d302e81d34f9f1ae8b49f39114f0

doc/mc2.smtlib/Mc2_smtlib/Make/index.html

Module `Mc2_smtlib.Make`Source

Parameters

module ARG : sig ... end

Signature

Sourceval parse : string -> PA.statement list or_error

Sourceval parse_stdin : unit -> PA.statement list or_error

Sourceval typecheck : PA.statement list -> Mc2_core.Statement.t list or_error

Source

val process_stmt : 
  ?gc:bool ->
  ?restarts:bool ->
  ?pp_cnf:bool ->
  ?dot_proof:string ->
  ?pp_model:bool ->
  ?check:bool ->
  ?time:float ->
  ?memory:float ->
  ?progress:bool ->
  ?switch:Mc2_core.Util.Switch.t ->
  Mc2_core.Statement.t ->
  unit or_error

Process the given statement.

On This Page

Parameters
Signature