TermInterface.jl icon indicating copy to clipboard operation
TermInterface.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaSymbolics

(Possibly) move `wrap` and `unwrap` here

Open shashi opened this issue 4 years ago • 1 comments

So that packages (like SymbolicSAT) can use them without depending on Symbolics.

What do you think @YingboMa ?

shashi avatar Aug 16 '21 22:08 shashi

Yeah. I think it's fine. It won't be breaking either.

YingboMa avatar Aug 18 '21 18:08 YingboMa