Demo of the ShotDs Smart Cell
Mix.install([
{:kino_shot_ds, "~> 0.1"}
])TPTP Parser
problem = "thf(test, conjecture, $true => $true)."
parsed_formula_or_problem =
case ShotDs.Tptp.parse_tptp_string(problem) do
{:ok, parsed} -> parsed
{:error, reason} -> raise "Error: #{inspect(reason)}"
end
:okparsed_formula_or_problem |> ShotDs.Util.Formatter.format!(false) |> IO.puts
