Packages

atp_client

0.1.5
0.6.2 0.6.1 0.6.0 0.5.0 0.4.0 0.3.0 0.2.2 0.2.1 0.2.0 0.1.7 0.1.6 0.1.5 0.1.4 0.1.3 0.1.2 0.1.1 0.1.0

Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and Isabelle servers.

HexDocs

Current section

Files

Jump to
Readme
17 Versions
3 Dependencies
Dependants
Files
Activity
atp_client lib atp_client application.ex
Raw

lib/atp_client/application.ex 

defmodule AtpClient.Application do

  @moduledoc false

  use Application



  @impl true

  def start(_type, _args) do

    children =

      if AtpClient.Config.fetch(:sotptp, :auto_refresh, true) do

        [{AtpClient.SystemOnTptp.Provers, nil}]

      else

        []

      end



    opts = [strategy: :one_for_one, name: AtpClient.Supervisor]

    Supervisor.start_link(children, opts)

  end

end