runtests.jl

using Polyhedra

using SparseArrays
using LinearAlgebra
using Test

using StaticArrays

include("utils.jl")

include("solvers.jl")

include("elements.jl")
include("comp.jl")
include("representation.jl")
include("dimension_names.jl")
include("polyhedron.jl")

include("redundancy.jl")
include("planar.jl")
include("doubledescription.jl")

include("interval.jl")

include("model_to_polyhedron.jl")
include("vrep_optimizer.jl")
include("lp_to_polyhedra.jl")
include("polyhedra_to_lp_bridge.jl")
include("default.jl")

include("show.jl")

include("polyhedra.jl")
for (arith, T) in (("floating point", Float64), ("exact", Rational{BigInt}))
    @testset "Polyhedra tests in $arith arithmetic" begin
        polyhedratest(Polyhedra.DefaultLibrary{T}(lp_solver), ["board"])
    end
end

include("../examples/test_examples.jl")