Closed alexvong243f closed 2 years ago
This should mostly work except when running into SMT compat issues.
The test suite still needs to be expanded, such as to include tests for SMT compat, matrix inputs, ... and so on.
Made a small change to remove redundant import, should be good to merge
Fixes #582.