* Rationale

As of Apr-2023, CaDiCaL doesn't support shared library. Yet?
Also, I wanted the *_add_lits() function.

* Compile

Compile CaDiCaL with:
    CXXFLAGS=-fPIC ./configure
    or
    ./configure -fPIC
And then:
    cd build
    make

