# MathOptInterface and Symbolics.jl

**URL:** <https://discourse.julialang.org/t/mathoptinterface-and-symbolics-jl/74575>\
**Category:** Optimization (Mathematical)\
**Tags:** symbolic, symbolic-utils\
**Created:** [January 13, 2022, 7:47pm UTC](https://discourse.julialang.org/t/mathoptinterface-and-symbolics-jl/74575 "2022-01-13T19:47:00Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![sidpatil](https://avatars.discourse-cdn.com/v4/letter/s/85f322/32.png) [@sidpatil](https://discourse.julialang.org/u/sidpatil)\
**Post date:** [January 13, 2022, 7:47pm UTC](https://discourse.julialang.org/t/mathoptinterface-and-symbolics-jl/74575/1 "2022-01-13T19:47:00Z")

</div>

In the [announcement for Symbolics.jl](https://discourse.julialang.org/t/ann-symbolics-jl-a-modern-computer-algebra-system-for-a-modern-language/56251), JuMP is mentioned due to its independent implementation of symbolic variables and expressions.

Is it feasible to refactor/rewrite MathOptInterface to use Symbolics.jl variables and expressions? If not, what are the technical limitations that preclude it?

If a rewrite is feasible, would it make sense to refactor MOI bridges to use SymbolicUtils.jl’s expression rewriting capabilities?

---

<div class="post-metadata">

**Author:** ![ChrisRackauckas](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chrisrackauckas/32/77_2.png) [@ChrisRackauckas](https://discourse.julialang.org/u/ChrisRackauckas)\
**Post date:** [January 13, 2022, 7:53pm UTC](https://discourse.julialang.org/t/mathoptinterface-and-symbolics-jl/74575/2 "2022-01-13T19:53:20Z")

</div>

It doesn’t need a rewrite. MOI can be targeted by lowered Symbolics expressions. GalacticOptim.jl can do it, and that’s probably a good next step for the library.