LogicFunctions to be loaded by a solver when the library is used, indexed by their Signature in the eyes of the solver