@aaron-skydio I think this is good for now. I'd like to brainstorm possible ways of getting clever so that we can have the methods just be in logic.py and show up in the API docs, but also work with the sympy/symengine switch. Maybe some smart sm object that gets imported that internally dispatches to either sympy/symengine?
From Hayk: