This website requires JavaScript.
Explore
Help
Sign In
kalmar
/
PropertyT.jl
Watch
1
Star
0
Fork
0
You've already forked PropertyT.jl
mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced
2024-11-30 10:00:28 +01:00
Code
Issues
Releases
Wiki
Activity
bcbf8a03c8
PropertyT.jl
/
REQUIRE
10 lines
74 B
Plaintext
Raw
Normal View
History
Unescape
Escape
update to the latest version of IntervalArithmetic
2017-07-05 12:24:49 +02:00
julia
Add REQUIRE
2017-03-14 16:38:06 +01:00
JuMP
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
Reference in New Issue
Copy Permalink