souffle_2.1_amd64.deb
Install the package
sudo apt-get install souffle=2.1
A Datalog Compiler
Full description: A Datalog Compiler Souffle - A Datalog Compiler
Checksums
MD5 | b5d2c27f0065d18829808b31c8547b94 |
SHA1 | d7309173dcf78a006a266a8cf7ac5636eea52a0c |
SHA256 | 7eabd5f17fa39bbba2e6e123e7465e5f706e2a1d001cf238bf9682240b554b88 |
SHA512 | 790dd5f88acb2b4731115f23ab46ba214e3f1aced251b83f114b5f431724a3b59f5d83cbb1ddfcdeedaeb5ae288b844f92c6e127ff2c04b4c03b9868db2af47f |
Depends
- g++ (>= 7), libffi-dev, libncurses5-dev, libsqlite3-dev, mcpp, zlib1g-dev, libc6 (>= 2.30), libffi8ubuntu1 (>= 3.4~20200819), 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/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/EquivalenceRelation.h
- /usr/include/souffle/datastructure/ConcurrentInsertOnlyHashMap.h
- /usr/include/souffle/datastructure/ConcurrentFlyweight.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 agoPackage Size
3.26 MBInstalled Size
12.4 MBDownloads
23
wget
wget --content-disposition "https://packagecloud.io/souffle-lang/souffle/packages/ubuntu/groovy/souffle_2.1_amd64.deb/download.deb?distro_version_id=219"