(lang dune 3.20)

(name schedule)

(generate_opam_files true)

(package
 (name schedule)
 (synopsis "Exam scheduling with an SMT solver")
 (description
  "Encodes an exam timetabling problem as a constraint system over the integers and hands it to Z3.")
 (depends ocaml z3))
