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

Usage:

$ make                          # 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.