Demo of the AtpClient Smart Cells

Mix.install([
  {:kino_atp_client, "~> 0.1"}
])

SystemOnTPTP

# Generated by SystemOnTPTP Smart Cell
problem = "thf(test, conjecture, $true => $true)."
system_name = "HOLyHammer---0.21"
time_limit = 5

case AtpClient.SystemOnTptp.query_system(problem, system_name, time_limit_sec: time_limit, raw: true) do
  {:ok, result} ->
    IO.puts(result)
    result

  {:error, reason} ->
    raise "Error: #{inspect(reason)}"
end