Module biodivine_sketchbook::inference::results_export

source ·
Expand description

Utilities to download results.

Functions§

  • export_results
    Export archive with complete results to the given path. The output archive is tailored for a case where sketch is satisfiable.
  • get_update_fn_variants_from_solver
    For a given variable, get all valid interpretations of its update function present in the satisfying colors (taken from the results of the solver). Variable must be present in the network.
  • write_to_zip 🔒
    Helper function to write string into a zip archive file.