SemanticVerifier.Pool (semantic_verifier v0.1.0)

Copy Markdown View Source

Lightweight connection pool managing persistent Z3 Session workers with non-blocking checkout.

Summary

Functions

child_spec(init_arg)

Returns a specification to start this module under a supervisor.

query(smt_script, opts \\ [])
start_link(opts \\ [])

Functions

child_spec(init_arg)

Returns a specification to start this module under a supervisor.

See Supervisor.

query(smt_script, opts \\ [])

@spec query(
  String.t(),
  keyword()
) :: {:ok, :sat | :unsat} | {:error, term()}

start_link(opts \\ [])

@spec start_link(keyword()) :: GenServer.on_start()