(lang dune 3.0)

(name fw)

(generate_opam_files true)

(package
 (name fw)
 (depends
  (ocaml (>= 4.14))
  yojson
  z3))
