Fix double free problem when working with interactive belief explorer (…

…#185)

* Fixing SAYNT double free problem

* Remove GIL release

* bumped the required Storm version

setup.py

@@ -13,7 +13,7 @@
  sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.9.0"
+storm_min_version = "1.9.1"
 
 # Get the long description from the README file
 with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f:

src/pomdp/quantitative_analysis.cpp

@@ -30,6 +30,7 @@ void define_belief_exploration(py::module& m, std::string const& vtSuffix) {
  belmc.def("get_status", &BeliefExplorationPomdpModelChecker<ValueType>::getStatus);
  belmc.def("get_interactive_belief_explorer", &BeliefExplorationPomdpModelChecker<ValueType>::getInteractiveBeliefExplorer);
  belmc.def("has_converged", &BeliefExplorationPomdpModelChecker<ValueType>::hasConverged);
+ belmc.def("set_fsc_values", &BeliefExplorationPomdpModelChecker<ValueType>::setFMSchedValueList, py::arg("value_list"));
 
  py::class_<typename storm::builder::BeliefMdpExplorer<Pomdp<ValueType>, ValueType>> belmdpexpl(m, ("BeliefMdpExplorer" + vtSuffix).c_str());
  belmdpexpl.def("set_fsc_values", &storm::builder::BeliefMdpExplorer<Pomdp<ValueType>, ValueType>::setFMSchedValueList, py::arg("value_list"));