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

mark as deprecated

Frédéric Recoules 7ef890b8 ba404223

options
unified split
Changed files
+1
packages
bitwuzla-bin
bitwuzla-bin.0.0.0
opam
+1
packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam 
···

       
1

       
 

       
opam-version: "2.0"


     

       
2

       
 

       
synopsis: "Bitwuzla SMT solver executable"


     

       

       

       
     

       
3

       
 

       
description: """


     

       
4

       
 

       



     

       
5

       
 

       
Standalone installer for the SMT solver Bitwuzla.


     
···

       
1

       
 

       
opam-version: "2.0"


     

       
2

       
 

       
synopsis: "Bitwuzla SMT solver executable"


     

       
3

       
+

       
flags: deprecated


     

       
4

       
 

       
description: """


     

       
5

       
 

       



     

       
6

       
 

       
Standalone installer for the SMT solver Bitwuzla.