Hello, thanks for your crate! I'm wondering if it's possible to use MTBDDs with numeric types that do not implement e.g. division? The NumberBase trait (at least as of v0.10.0) seems to require a lot of operations, which are not always defined. I'm considering e.g. nonnegative rationals with infinity, where division doesn't have one clear definition. Have you thought about using something like the num_traits crate to make the traits required for the MTBBD methods more granular?
Hello, thanks for your crate! I'm wondering if it's possible to use MTBDDs with numeric types that do not implement e.g. division? The
NumberBasetrait (at least as of v0.10.0) seems to require a lot of operations, which are not always defined. I'm considering e.g. nonnegative rationals with infinity, where division doesn't have one clear definition. Have you thought about using something like thenum_traitscrate to make the traits required for the MTBBD methods more granular?