axsuul / gecode / ubuntu / trusty / libgecodeflatzinc30_3.7.1-3_amd64.deb
Download

libgecodeflatzinc30_3.7.1-3_amd64.deb

STEP 1: Have you installed this repository?

If not, run this installation script command:

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



    

    
  


            

    
STEP 2: Install the package

      
sudo apt-get install libgecodeflatzinc30=3.7.1-3

  


        

      

            
Gecode support for FlatZinc modelling language


  
Full description:
  Gecode support for FlatZinc modelling language
 Gecode is an attempt to construct an open, free, portable, accessible,
 and efficient environment for developing constraint-based systems and
 applications.
 .
 FlatZinc is a low-level modelling language for constraint
 problems. It is designed to be easily interfaceable to constraint
 solvers (like Gecode). For more information on FlatZinc, please refer
 to the MiniZinc pages of the G12 project
 <http://www.g12.cs.mu.oz.au/minizinc/>.



        
          

            
Checksums

            

  
    

      
        MD5
      
      
        d5db144776757f237f3e28ce97bc25c1
      
    

    

      
        SHA1
      
      
        361ca05305d40e0c246e88d80c9f74df57a7a720
      
    

    

      
        SHA256
      
      
        5177fc8208f672e2824cf7abc77b801fa912a690879fcafc756fe50fef2fe74c
      
    

    

      
        SHA512
      
      
        d0b275c61280478e919b7fa5afab35b76df2e40426de6e915b3a25c40c0cc681fe3b9bb3b5c7f0890e50551ec29e8d77e636291c51d7fbb12673fc58445dd866
      
    

  



          

        




                

                  
Depends

                  
    
                    
  • libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgecode30 (>= 3.7.1), libgecodegist30 (>= 3.7.1), libqtcore4 (>= 4:4.5.3), libstdc++6 (>= 4.4.0)
    • 
                  

                

                

                  
Suggests

                  
    
                    
  • libgecode-dev
    • 
                  

                

              

  
Files

  
    
      
  • /usr/share/doc/libgecodeflatzinc30/copyright
    • 
      
  • /usr/lib/libgecodeflatzinc.so.30.0
    • 
  






        

      

      

          

  
Uploaded

  almost 9 years ago




  

    
Package Size

    145 KB
  

    

      
Installed Size

      415 KB
    




          
          

  
Downloads

  

    

      
11

    

    
  




          

  
wget

  
wget --content-disposition "https://packagecloud.io/axsuul/gecode/packages/ubuntu/trusty/libgecodeflatzinc30_3.7.1-3_amd64.deb/download.deb?distro_version_id=20"




          
            

    
Homepage

    
      http://www.gecode.org/flatzinc.html