Update to using Symbolics

JuliaIntervals / IntervalConstraintProgramming.jl

Calculate rigorously the feasible region for a set of real-valued inequalities with Julia

Other

63 stars 16 forks source link

Closed mforets closed 5 months ago

mforets commented 3 years ago

Rewrite ICP to use the new Symbolics.jl package.

dpsanders commented 3 years ago

cc @yashcodes

mforets commented 3 years ago

i've change the title to ".. using Symbolics" (the analogue fix in LazySets is https://github.com/JuliaReach/LazySets.jl/pull/2615 )

dpsanders commented 3 years ago

This is in progress on the rewrite branch.

dpsanders commented 5 months ago