this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Marcello Seri <m.seri@rug.nl>"
3authors: [ "Marcello Seri <m.seri@rug.nl>" ]
4license: "MIT"
5homepage: "https://github.com/mseri/ocaml-cviode"
6dev-repo: "git+https://github.com/mseri/ocaml-cviode.git"
7bug-reports: "https://github.com/mseri/ocaml-cviode/issues"
8doc: "https://mseri.github.io/ocaml-cviode/"
9tags: [ "ODE" "scientific-computing" ]
10build: [
11 ["dune" "subst"] {dev}
12 ["dune" "build" "-p" name "-j" jobs]
13 ["dune" "build" "@doc"] {with-doc}
14 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
15]
16depends: [
17 "ocaml" {>= "4.06.0"}
18 "dune" {>= "2.0.0"}
19 "owl" {>= "0.8.0" & < "0.9.0"}
20 "owl-ode" {>= "0.3.0" & < "0.4.0"}
21 "owl-plplot" {with-test}
22 "stdcompat" {>= "7" & with-test}
23]
24synopsis: "Contact variational integrators - native ocaml version"
25description: """
26This is a collection of geometric solvers for initial value problems derived from contact Lagrangians.
27The provided solvers concern Lagrangians of the form
28$$
29L(x, \\dot{x}, z, t) = \\frac12|\\dot{x}|^2 + g_1(x)g_2(z) + h(z) + f(t)x
30$$
31For further information refer to _Vermeeren, Bravetti, Seri: Contact Variational Integrators (2019)_.
32"""
33x-commit-hash: "d29748591aac5f82eabddedb3999a4f91a50f2ae"
34url {
35 src:
36 "https://github.com/mseri/ocaml-cviode/releases/download/0.0.4/cviode-0.0.4.tbz"
37 checksum: [
38 "sha256=89bf0d36db1951ba238f412d59065342f832f77968bbad688ab29e8420e88dba"
39 "sha512=1cc90434d167e7a22632aee1cc0273ce36293112a233503fdc428315713a5dadf834fa29ef90f48918fb19562b06c1ba8f2b601eed206f11388b95491e83d8b5"
40 ]
41}