|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Namespaces | |
| namespace | linalg |
Functions | |
| float | linalg.det (list a) |
| list | linalg.inv (list a) |
| list | linalg.solve (list a, list b) |
| float | linalg.norm (list a) |
| list | linalg.eig (list a) |
| list | linalg.svd (list a, bool full_matrices=True) |