chickeaterbanana / libpod / debian / buster / libz3-4_4.8.7-2_amd64.deb
Download

libz3-4_4.8.7-2_amd64.deb

STEP 1: Have you installed this repository?

If not, run this installation script command:

curl -s https://packagecloud.io/install/repositories/chickeaterbanana/libpod/script.deb.sh | sudo bash
copy 
curl -s https://packagecloud.io/install/repositories/chickeaterbanana/libpod/script.deb.sh | sudo bash



    

    
  


            

    
STEP 2: Install the package

      
sudo apt-get install libz3-4=4.8.7-2

  


        

      

            
theorem prover from Microsoft Research - runtime libraries


  
Full description:
  theorem prover from Microsoft Research - runtime libraries
 Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
 used to check the satisfiability of logical formulas over one or more
 theories. Z3 offers a compelling match for software analysis and verification
 tools, since several common software constructs map directly into supported
 theories.
 .
 This package contains runtime libraries. You shouldn't have to install it
 manually.



        
          

            
Checksums

            

  
    

      
        MD5
      
      
        a32576aca5a54bacf767688ea3eb1a58
      
    

    

      
        SHA1
      
      
        7c5328bedf23e331ea3a28c671493002303b5861
      
    

    

      
        SHA256
      
      
        0c487f8c256586d13cba4f495a3c472acec9d70f29a084e94797556d916b2150
      
    

    

      
        SHA512
      
      
        671cce94bb7ab8f7dd4289d21ca7730d84ab4545e18ec2d7af329bf0ad7687cdc40bdca193cc4e118a61f9326f5872b3d05e25ad963cd2cfe4ac8de21cd4503d
      
    

  



          

        




                

                  
Depends

                  
    
                    
  • libc6 (>= 2.29), libgcc1 (>= 1:3.4), libstdc++6 (>= 9)
    • 
                  

                

                

                  
Replaces

                  
    
                    
  • libz3-dev (<< 4.4.1)
    • 
                  

                

                

                  
Breaks

                  
    
                    
  • libz3-dev (<< 4.4.1)
    • 
                  

                

              

  
Files

  
    
      
  • /usr/share/doc/libz3-4/copyright
    • 
      
  • /usr/share/doc/libz3-4/changelog.gz
    • 
      
  • /usr/share/doc/libz3-4/changelog.Debian.gz
    • 
      
  • /usr/lib/x86_64-linux-gnu/libz3.so.4
    • 
  








        

      

      

          

  
Uploaded

  over 5 years ago




  

    
Package Size

    6.52 MB
  

    

      
Installed Size

      20.8 MB
    




          
          

  
Downloads

  

    

      
12

    

    
  




          

  
wget

  
wget --content-disposition "https://packagecloud.io/chickeaterbanana/libpod/packages/debian/buster/libz3-4_4.8.7-2_amd64.deb/download.deb?distro_version_id=150"




          
            

    
Homepage

    
      https://github.com/Z3Prover/z3