* 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
And then:
    cd build
    make