kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2025-01-13 22:52:34 +01:00
Code Issues Releases Wiki Activity
3420aa5504
PropertyT.jl/src
History
kalmar 3420aa5504 symmetry assertion is not necessary
2017-06-05 17:25:00 +02:00
..
checksolution.jl symmetry assertion is not necessary 2017-06-05 17:25:00 +02:00
PropertyT.jl cosmetics 2017-06-05 13:49:57 +02:00
sdps.jl @variable(m, ..., SDP) and @SDconstraint(m,... >=0) are equivalent 2017-06-05 13:55:24 +02:00