mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-14 22:20:28 +01:00
19 lines
437 B
Julia
19 lines
437 B
Julia
using Test
|
|
using LinearAlgebra, SparseArrays
|
|
using AbstractAlgebra, Groups, GroupRings
|
|
using PropertyT
|
|
using JLD
|
|
|
|
using JuMP, SCS
|
|
|
|
with_SCS(iters; accel=1, eps=1e-10) =
|
|
with_optimizer(SCS.Optimizer,
|
|
linear_solver=SCS.Direct, max_iters=iters,
|
|
acceleration_lookback=accel, eps=eps, warm_start=true)
|
|
|
|
include("1703.09680.jl")
|
|
include("actions.jl")
|
|
include("1712.07167.jl")
|
|
include("SOS_correctness.jl")
|
|
include("1812.03456.jl")
|