Installation

sudo apt install opam
opam init
opam switch create 5.3.0
eval $(opam env)

opam install -y dune
opam install -y sedlex landmarks-ppx menhir yojson alcotest core async

Usage

NetKAT REPL:

dune exec netkat-repl

NetKAT command-line:

dune exec netkat examples/b.nkpl

NetKAT TCP server:

dune exec netkat-listen