plot_utils and contract_utils not defined[BUG]

[Bri2030]

Describe the bug Following the use cases, specifically the Space Mission Scenario, it seems that this uses two util packages, contract_utils and plot utils, which are not part of the pacti distribution, and hence impossible to run use case notebook.

To Reproduce Steps to reproduce the behavior:

from pacti import write_contracts_to_file
from pacti.terms.polyhedra import PolyhedralContract
from pacti.iocontract import Var
from contract_utils import *
from plot_utils import plot_guarantees_with_bounds_hover

---

ModuleNotFoundError Traceback (most recent call last) Cell In[1], line 6 4 from pacti.terms.polyhedra import PolyhedralContract 5 from pacti.iocontract import Var ----> 6 from contract_utils import * 7 from plot_utils import plot_guarantees_with_bounds_hover

ModuleNotFoundError: No module named 'contract_utils'

[Bri2030]

Found out there is a dedicated repo (cs-space-mission) for the space mission, and there contract_utils and plot_utils are defined.

[Bri2030]

Found out there is a dedicated repo (cs-space-mission) for the space mission, and there contract_utils and plot_utils are defined.