# https://stackoverflow.com/questions/14884126/build-so-file-from-c-file-using-gcc-command-line
# TODO: fix path...
g++ -I $HOME/src/armin/cadical/src cadical_wrapper.c libcadical.a -shared -o libcadical_wrapper.so