···

       
33
       
33
       
 
       
- a binding to quantor, which is shipped with the library

     

       
34
       
34
       
 
       
- a binding to Depqbf"""

     

       
35
       
35
       
 
       
flags: light-uninstall

     

       
36
       
36
       
+
       
available: opam-version < "2.0.9"

     

       
36
       
37
       
 
       
url {

     

       
37
       
38
       
 
       
  src: "https://github.com/c-cube/ocaml-qbf/archive/0.2.tar.gz"

     

       
38
       
39
       
 
       
  checksum: "md5=4213a4a6138e2056ec5db3871d0dd17a"