Skip to content
GitLab

[disc] Add toString function for discretization method

Merged Timo Koch requested to merge feature/disc-string into master

This came up for the Python bindings !2681 (merged) but it also useful otherwise I think.

Merge request reports