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

batsat is not compatible with OCaml multicore (uses the rust binding of the OCaml runtime which has the wrong assumption about the new runtime)

Kate 109c80f6 69d56721

options
unified split
Changed files
+9
packages
batsat
batsat.0.4
opam
batsat.0.5
opam
batsat.0.6
opam
+3
packages/batsat/batsat.0.4/opam 
···

       
13

       
 

       
  "odoc" {with-doc}


     

       
14

       
 

       
  "conf-rust-2018" {build}


     

       
15

       
 

       
]


     

       

       

       
     

       

       

       
     

       

       

       
     

       
16

       
 

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


     

       
17

       
 

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


     

       
18

       
 

       
dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"


     
···

       
13

       
 

       
  "odoc" {with-doc}


     

       
14

       
 

       
  "conf-rust-2018" {build}


     

       
15

       
 

       
]


     

       
16

       
+

       
conflicts: [


     

       
17

       
+

       
  "base-domains"


     

       
18

       
+

       
]


     

       
19

       
 

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


     

       
20

       
 

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


     

       
21

       
 

       
dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"
+3
packages/batsat/batsat.0.5/opam 
···

       
13

       
 

       
  "odoc" {with-doc}


     

       
14

       
 

       
  "conf-rust-2018" {build}


     

       
15

       
 

       
]


     

       

       

       
     

       

       

       
     

       

       

       
     

       
16

       
 

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


     

       
17

       
 

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


     

       
18

       
 

       
dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"


     
···

       
13

       
 

       
  "odoc" {with-doc}


     

       
14

       
 

       
  "conf-rust-2018" {build}


     

       
15

       
 

       
]


     

       
16

       
+

       
conflicts: [


     

       
17

       
+

       
  "base-domains"


     

       
18

       
+

       
]


     

       
19

       
 

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


     

       
20

       
 

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


     

       
21

       
 

       
dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"
+3
packages/batsat/batsat.0.6/opam 
···

       
14

       
 

       
  "odoc" {with-doc}


     

       
15

       
 

       
  "conf-rust-2018" {build}


     

       
16

       
 

       
]


     

       

       

       
     

       

       

       
     

       

       

       
     

       
17

       
 

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


     

       
18

       
 

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


     

       
19

       
 

       
dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"


     
···

       
14

       
 

       
  "odoc" {with-doc}


     

       
15

       
 

       
  "conf-rust-2018" {build}


     

       
16

       
 

       
]


     

       
17

       
+

       
conflicts: [


     

       
18

       
+

       
  "base-domains"


     

       
19

       
+

       
]


     

       
20

       
 

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


     

       
21

       
 

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


     

       
22

       
 

       
dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"