(lang dune 3.20)

(name mutex)

(generate_opam_files true)

(package
 (name mutex)
 (synopsis "Bounded model checking of two-process mutual exclusion with a SAT solver")
 (description
  "Unrolls a two-process lock protocol over k steps in propositional logic, and asks Z3 whether both processes can reach the critical section.")
 (depends ocaml z3))
