Project.toml

name = "ValidatedNumerics"
uuid = "d621b6e3-7715-5857-9c6f-c67000ef6083"
repo = "https://github.com/JuliaIntervals/ValidatedNumerics.jl.git"
version = "0.12.1"

[deps]
IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
IntervalConstraintProgramming = "138f1668-1576-5ad7-91b9-7425abbf3153"
IntervalContractors = "15111844-de3b-5229-b4ba-526f2f385dc9"
IntervalOptimisation = "c7c68f13-a4a2-5b9a-b424-07d005f8d9d2"
IntervalRootFinding = "d2bf35a9-74e0-55ec-b149-d360ff49b807"
Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"

[compat]
IntervalArithmetic = "0.16, 0.17, 0.18, 0.19, 0.20"
IntervalRootFinding = "0.5"
IntervalContractors = "0.4"
IntervalConstraintProgramming = "0.12"
IntervalOptimisation = "0.4"
TaylorModels = "0.6"
Reexport = "0.2, 1.0"
julia = "1.6"

[extras]
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

[targets]
test = ["Test"]