This is a 2 in 1 PR, the more important part is about implementing a more general way to construct BDDs for mapIf. This allows us to have map operations inside the mapIf predicate which seems necessary and very useful when modeling things like the dataplane.
The second part is some support for Jupyter notebooks, an example "intro to NV" can be found in the repo. It still requires a lot of polishing to make it a nice interface to NV.
This is a 2 in 1 PR, the more important part is about implementing a more general way to construct BDDs for mapIf. This allows us to have map operations inside the mapIf predicate which seems necessary and very useful when modeling things like the dataplane.
The second part is some support for Jupyter notebooks, an example "intro to NV" can be found in the repo. It still requires a lot of polishing to make it a nice interface to NV.