···

       
9
       
 
       
dev-repo: "git+https://github.com/mpelleau/AbSolute"

     

       
10
       
 
       
license: " LGPL-3.0-or-later"

     

       
11
       
 
       
build: [

     

       
12
       
-
       
  ["dune" "subst"] {pinned}

     

       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
 
       
]

     

       
15
       
 
       
depends: [

     
···

       
18
       
 
       
  "apron"

     

       
19
       
 
       
  "apronext" {>= "1.0.2"}

     

       
20
       
 
       
  "picasso" {>= "0.3.0"}

     

       
21
       
-
       
  "menhir" {>= "2.0"}

     

       
22
       
 
       
  "libabsolute"

     

       
23
       
 
       
  "odoc" {with-doc}

     

       
24
       
 
       
]

     

       
0
       
 
       

     

       
25
       
 
       
synopsis: "AbSolute solver"

     

       
26
       
 
       
description: "AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation."

     

       
27
       
 
       
url {

     

···

       
9
       
 
       
dev-repo: "git+https://github.com/mpelleau/AbSolute"

     

       
10
       
 
       
license: " LGPL-3.0-or-later"

     

       
11
       
 
       
build: [

     

       
12
       
+
       
  ["dune" "subst"] {dev}

     

       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
 
       
]

     

       
15
       
 
       
depends: [

     
···

       
18
       
 
       
  "apron"

     

       
19
       
 
       
  "apronext" {>= "1.0.2"}

     

       
20
       
 
       
  "picasso" {>= "0.3.0"}

     

       
21
       
+
       
  "menhir" {>= "20180528"}

     

       
22
       
 
       
  "libabsolute"

     

       
23
       
 
       
  "odoc" {with-doc}

     

       
24
       
 
       
]

     

       
25
       
+
       
available: arch != "x86_32" & arch != "arm32"

     

       
26
       
 
       
synopsis: "AbSolute solver"

     

       
27
       
 
       
description: "AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation."

     

       
28
       
 
       
url {

     

···

       
9
       
 
       
dev-repo: "git+https://github.com/mpelleau/AbSolute"

     

       
10
       
 
       
license: "LGPL-3.0-or-later"

     

       
11
       
 
       
build: [

     

       
12
       
-
       
  ["dune" "subst"] {pinned}

     

       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
 
       
]

     

       
15
       
 
       
depends: [

     
···

       
18
       
 
       
  "apron"

     

       
19
       
 
       
  "apronext" {>= "1.0.2"}

     

       
20
       
 
       
  "picasso"{>= "0.3.0"}

     

       
21
       
-
       
  "menhir" {>= "2.0"}

     

       
22
       
 
       
]

     

       
23
       
 
       
synopsis: "Libabsolute"

     

       
24
       
 
       
description: "Libabsolute is a constraint programming library based on abstract domains from the theory of abstract interpretation. It is used and distributed with the AbSolute constraint solver."

     

···

       
9
       
 
       
dev-repo: "git+https://github.com/mpelleau/AbSolute"

     

       
10
       
 
       
license: "LGPL-3.0-or-later"

     

       
11
       
 
       
build: [

     

       
12
       
+
       
  ["dune" "subst"] {dev}

     

       
13
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
14
       
 
       
]

     

       
15
       
 
       
depends: [

     
···

       
18
       
 
       
  "apron"

     

       
19
       
 
       
  "apronext" {>= "1.0.2"}

     

       
20
       
 
       
  "picasso"{>= "0.3.0"}

     

       
21
       
+
       
  "menhir" {>= "20180528"}

     

       
22
       
 
       
]

     

       
23
       
 
       
synopsis: "Libabsolute"

     

       
24
       
 
       
description: "Libabsolute is a constraint programming library based on abstract domains from the theory of abstract interpretation. It is used and distributed with the AbSolute constraint solver."