path: root/dune-project

(lang dune 3.17)

(name sol)

(using menhir 2.1)

(generate_opam_files true)

(license AGPL-3.0-only)

(authors "Marcos Magueta")

(maintainers "Marcos Magueta <maguetamarcos@gmail.com>")

(package
 (name sol)
 (synopsis "Sol: a total relational language")
 (description
  "Sol is a total relational language where relations are the primary semantic objects, types are membership criteria, and execution is proof search, constraint propagation, and normalization.")
 (depends
  (ocaml
   (>= 5.1))
  zarith
  yojson
  (menhir :build)
  (coq :build)
  (alcotest :with-test)))