blob: 50c0e4294cf4d644508fb3c26185386de176cfc5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
(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)))
|
