anil.recoil.org / opam-repository
this repo has no description
fork atom

minisat.0.6 requires containers.3.6 to use CCOption

Jan Midtgaard 3e0b97dd ff931d4a

options
unified split
Changed files
+1 -1
packages
minisat
minisat.0.6
opam
+1 -1
packages/minisat/minisat.0.6/opam 
···

       
11

       
11

       
 

       
  "ocaml" {>= "4.03" }


     

       
12

       
12

       
 

       
  "dune" {>= "2.0"}


     

       
13

       
13

       
 

       
  "odoc" {with-doc}


     

       
14

       

       
-

       
  "containers" {>= "3.0" & with-test}


     

       

       
14

       
+

       
  "containers" {>= "3.6" & with-test}


     

       
15

       
15

       
 

       
]


     

       
16

       
16

       
 

       
tags: [ "minisat" "solver" "SAT" ]


     

       
17

       
17

       
 

       
homepage: "https://github.com/c-cube/ocaml-minisat/"