Merge pull request #64 from hanyuone/main

Install `ipykernel` in Dockerfile

Author: yuleisui

Dockerfile

@@ -25,7 +25,7 @@ RUN apt-get install -y $build_deps $lib_deps
 # Avoid pulling python3.10 from ppa:deadsnakes/ppa — Launchpad's PPA infrastructure
 # has been intermittently unreachable from CI runners (HTTP 504 / 2-minute timeouts
 # from add-apt-repository), and SVF does not pin a Python version.
-RUN apt-get install -y python3-dev python3-pip
+RUN apt-get install -y python3-dev python3-pip python3-ipykernel
 RUN python3 -m pip install --break-system-packages pysvf -i https://test.pypi.org/simple/
 RUN python3 -m pip install --break-system-packages z3-solver