ivanDonadello/Declare4Py

Saving and load doesn't work!

Franco7Scala opened this issue · 0 comments

basically saving a model when you reload it you get this error:

Unable to parse the conditions of binary constraint template

I use these methods to save and reload the model:

  • saving:
discovered_model: DeclareModel = discovery.run()
discovered_model.to_file(decl_path)
  • loading:
discovered_model = DeclareModel()
discovered_model = discovered_model.parse_from_file(decl_path)

Attached is the file containing the saved model.

declare_model_synthesized_d62.txt