Biodivine BMA IO Library

Rust library for working with models in the BMA format.

Currently supported features:

• Input and output from both .json and .xml BMA files (to the best of our ability, parts of the format seem to have changed over the years).
• Detection of model integrity issues:
  • Invalid IDs, variable types, variable ranges, function expressions, etc.;
  • Invalid regulations and errors in regulation monotonicity;
  • Errors in function evaluation (division by zero, etc.).
• Function evaluation, including the normalization process used by BMA.
• Conversions between BmaModel and biodivine-lib-param-bn::BooleanNetwork (including binarization of multivalued models).