vi for vampire

Author: philzook58

.github/workflows/python-package.yml

@@ -50,7 +50,7 @@ jobs:
         run: |
           uv sync --locked --all-extras --dev
           uv pip install -e .[dev,yosys,pypcode,rust,solvers]
-          uv python3 -c "from kdrag.solvers import VampireSolver;print(VampireSolver().check())" # run to install vampire
+          uv run python3 -c "from kdrag.solvers import VampireSolver;print(VampireSolver().check())" # run to install vampire
       #- name: Build kdragrs
       #  run: |
       #    cd rust/kdragrs