defmodule QuintConnect do
  @moduledoc """
  Model-based testing helpers for replaying Quint traces against Elixir implementations.

  Most projects use `QuintConnect.Case` from ExUnit tests.
  """

  @version Mix.Project.config()[:version]

  @doc false
  def version, do: @version
end