(lang dune 3.20)

(name river)

(generate_opam_files true)

(package
 (name river)
 (synopsis "The river-crossing puzzle, solved by unrolling time with a SAT solver")
 (description
  "Encodes k crossings of the farmer, wolf, goat and cabbage puzzle in propositional logic, and searches k = 0, 1, 2, ... with Z3.")
 (depends ocaml z3))
