Running the PClean tutorial

1
git clone https://github.com/probcomp/PClean

Change Current Directory.

1
cd PClean

Activate the project and install dependencies.

1
2
3
4
5
6
7
8
9
# Start Julia REPL
julia

# Activate the project (assuming you're in the PClean directory)
using Pkg
Pkg.activate(".")

# Install all dependencies
Pkg.instantiate()

run command

1
JULIA_PROJECT=. julia experiments/hospital/run.jl
Running the PClean tutorial
https://www.hardyhu.cn/2025/02/12/Running-the-PClean-tutorial/
Author
John Doe
Posted on
February 12, 2025
Licensed under