Packages

Bindings to the Z3 theorem prover.

Current section

Files

Jump to
zee3_marco lib zee3 marco state.ex
Raw

lib/zee3/marco/state.ex

defmodule Zee3.MARCO.State do
@moduledoc false
@derive {Inspect, only: []}
@type t() :: %__MODULE__{}
defstruct constraints_map: %{},
seed: MapSet.new(),
constraints: MapSet.new(),
subset_solver: nil,
map_solver: nil
end