extra Library instances to load into the solver alongside IOLib (and OOPLib when --oop is given), e.g. for an embedder that wants to expose custom predicates through this same CLI.
IOLib
OOPLib
--oop