shashi opened this issue 3 years ago · 1 comments
So that packages (like SymbolicSAT) can use them without depending on Symbolics.
What do you think @YingboMa ?
Yeah. I think it's fine. It won't be breaking either.