PropertyT.jl/REQUIRE

mirror of https://github.com/kalmarek/PropertyT.jl.git
julia
JuMP 0.18.0
SCS
IntervalArithmetic 0.10
JLD
Memento
Nemo
Groups
GroupRings
update to the latest version of IntervalArithmetic 2017-07-05 12:24:49 +02:00			`julia`
Require JuMP 0.18.0 as we use MathProgBase directly 2017-12-02 23:21:24 +01:00			`JuMP 0.18.0`
Add REQUIRE 2017-03-14 16:38:06 +01:00			`SCS`
change rounding mode to :tight 2017-07-26 12:58:39 +02:00			`IntervalArithmetic 0.10`
Require JLD 2017-03-14 16:45:13 +01:00			`JLD`
use Memento for logging 2017-03-15 17:48:52 +01:00			`Memento`
require IntervalArithmetic v0.9.1 2017-06-25 09:34:16 +02:00			`Nemo`
			`Groups`
			`GroupRings`