#!/usr/bin/env julia
# Run from any working directory. Standard libraries only; no Pkg downloads.
include(joinpath(@__DIR__,"src","OmegaNaughtProofs.jl"))
using .OmegaNaughtProofs
out=isempty(ARGS) ? joinpath(@__DIR__,"evidence","fresh") : abspath(ARGS[1])
OmegaNaughtProofs.run_all(out)