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]
15depends: [
16 "ocaml" {>= "4.06.0"}
17 "dune"
18 "owl" {>= "0.5.0" & < "0.6.0"}
19 "owl-ode" {>= "0.0.7" & < "0.0.9"}
20]
21synopsis: "Contact variational integrators - native ocaml version"
22description: """
23This is a collection of geometric solvers for initial value problems derived from contact Lagrangians.
24The provided solvers concern Lagrangians of the form
25$$
26L(x, \\dot{x}, z, t) = \\frac12|\\dot{x}|^2 + g_1(x)g_2(z) + h(z) + f(t)x
27$$
28For further information refer to _Vermeeren, Bravetti, Seri: Contact Variational Integrators (2019)_.
29"""
30url {
31 src:
32 "https://github.com/mseri/ocaml-cviode/releases/download/v0.0.3/cviode-v0.0.3.tbz"
33 checksum: [
34 "sha256=738835eb60435bdd41c3d94d6918c4803d5c2ad1910ad51a84e2b48515fab4f5"
35 "md5=06d9389667762cd92c4d21a846b586cb"
36 ]
37}