A simple add-on dynamic library for more complex arithmetic operations in Souffle-Datalog (https://souffle-lang.github.io).
Current coverage:
- 256-bit arithmetic (for crypto)
Dependencies:
- Souffle: https://github.com/souffle-lang/souffle
- Boost libraries
- Z3: https://github.com/Z3Prover/z3
Functor compilation is rellying on the underlying word size of the installed souffle binary.
Due to that, our Makefile is parametrized via its WORD_SIZE parameter.
The make WORD_SIZE=$(souffle --version | sed -n 3p | cut -c12,13) command will build the functor with the correct word size (for latest souffle versions).
Usage:
$ make WORD_SIZE=32|64 # builds all, sets libfunctors.so as a link to libsoufflenum.so
$ export LD_LIBRARY_PATH=`pwd` # or wherever you want to put the resulting libfunctors.so
and use a Souffle program with the num256functors.dl definitions. For compiled execution, libfunctors.so (i.e., at least a link to the real .so) should be in the compilation directory.
A sample Souffle client program can be found under directory dlexample.