Add missing Python dependencies for Python binding

VeriFIT / mata

A fast and simple automata library

MIT License

23 stars 13 forks source link

Add missing Python dependencies for Python binding #460

Closed Adda0 closed 4 days ago

Adda0 commented 4 days ago

This PR adds a few missing dependencies for Python binding. This allows to compile the binding, run the Jupyter notebooks, and run the notebooks directly from the command line using the tool papermill.