souffle-lang / souffle / ubuntu / focal / souffle_2.2_amd64.deb
Download

souffle_2.2_amd64.deb

STEP 1: Have you installed this repository?

If not, run this installation script command:

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



    

    
  


            

    
STEP 2: Install the package

      
sudo apt-get install souffle=2.2

  


        

      

            
A Datalog Compiler


  
Full description:
  A Datalog Compiler
 Souffle - A Datalog Compiler



        
          

            
Checksums

            

  
    

      
        MD5
      
      
        c672687c02e84eab0bd064253655e660
      
    

    

      
        SHA1
      
      
        b0d390a51b9408766342b491b91ee36b0ed27230
      
    

    

      
        SHA256
      
      
        eb152fb3ba079a7bf7f61e81b8f8d70fcd78b8efb347bf5d178eca1d00a20072
      
    

    

      
        SHA512
      
      
        227a6f808019cec096e40373aa5b267aa70245b2e75e73d284118d020f74530f5ee64e740c4b9090ec2674aede1f8bcd9ec4fc3b572d66af681939efc0b524fa
      
    

  



          

        




                

                  
Depends

                  
    
                    
  • g++ (>= 8), libffi-dev, libncurses5-dev, libsqlite3-dev, mcpp, zlib1g-dev, libc6 (>= 2.29), libffi7 (>= 3.3~20180313), libgcc-s1 (>= 3.0), libgomp1 (>= 6), libncurses6 (>= 6), libsqlite3-0 (>= 3.5.9), libstdc++6 (>= 9), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
    • 
                  

                

              

  
Files

  
    
      
  • /usr/include/souffle/profile/Cell.h
    • 
      
  • /usr/include/souffle/io/WriteStreamSQLite.h
    • 
      
  • /usr/include/souffle/io/WriteStreamJSON.h
    • 
      
  • /usr/include/souffle/io/WriteStreamCSV.h
    • 
      
  • /usr/include/souffle/io/WriteStream.h
    • 
      
  • /usr/include/souffle/io/SerialisationStream.h
    • 
      
  • /usr/include/souffle/io/ReadStreamSQLite.h
    • 
      
  • /usr/include/souffle/io/ReadStreamJSON.h
    • 
      
  • /usr/include/souffle/io/ReadStreamCSV.h
    • 
      
  • /usr/include/souffle/io/ReadStream.h
    • 
      
  • /usr/include/souffle/io/IOSystem.h
    • 
      
  • /usr/include/souffle/io/gzfstream.h
    • 
      
  • /usr/include/souffle/datastructure/UnionFind.h
    • 
      
  • /usr/include/souffle/datastructure/Table.h
    • 
      
  • /usr/include/souffle/datastructure/PiggyList.h
    • 
      
  • /usr/include/souffle/datastructure/LambdaBTree.h
    • 
      
  • /usr/include/souffle/datastructure/Graph.h
    • 
      
  • /usr/include/souffle/datastructure/EquivalenceRelation.h
    • 
      
  • /usr/include/souffle/datastructure/ConcurrentInsertOnlyHashMap.h
    • 
      
  • /usr/include/souffle/datastructure/ConcurrentFlyweight.h
    • 
      
  • /usr/include/souffle/datastructure/BTreeUtil.h
    • 
      
  • /usr/include/souffle/datastructure/BTreeDelete.h
    • 
      
  • /usr/include/souffle/datastructure/BTree.h
    • 
      
  • /usr/include/souffle/datastructure/Brie.h
    • 
      
  • /usr/include/souffle/CompiledSouffle.h
    • 
      
  • /usr/include/souffle/CompiledOptions.h
    • 
      
  • /usr/include/souffle/BinaryConstraintOps.h
    • 
      
  • /usr/bin/souffleprof
    • 
      
  • /usr/bin/souffle-compile
    • 
      
  • /usr/bin/souffle
    • 
  






        

      

      

          

  
Uploaded

  over 2 years ago




  

    
Package Size

    3.64 MB
  

    

      
Installed Size

      14.3 MB
    




          
          

  
Downloads

  

    

      
255

    

    
  




          

  
wget

  
wget --content-disposition "https://packagecloud.io/souffle-lang/souffle/packages/ubuntu/focal/souffle_2.2_amd64.deb/download.deb?distro_version_id=210"