(executable
  (public_name minihell)
  (libraries constrained_generation menhirLib)
  (modules minihell)
)

(executable
  (public_name minigen)
  (libraries constrained_generation)
  (modules minigen)
)