search

JuliaSymbolics / SymbolicUtils.jl

Symbolic expressions, rewriting and simplification
https://docs.sciml.ai/SymbolicUtils/stable/
Other
537 stars 107 forks source link

z3 integration #70

Open shashi opened 4 years ago

shashi commented 4 years ago

@HarrisonGrodin suggested integrating with z3 for constraint solving. This could be a great way to do #67 !

shashi commented 4 years ago

stated a project for this https://github.com/JuliaSymbolics/SymbolicSAT.jl