Regarding 4, I'd like to use these CASes from within a library. A bit like how you can use Sympy as a library within Python.
Regarding 4, I'd like to use these CASes from within a library. A bit like how you can use Sympy as a library within Python.