blob: 138c21c0c4ced7cbcd56cfe166293fc4169a82dc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
(lang dune 3.7)
(name sol)
(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
(alcotest :with-test)))
|
