SymbolicAI: A framework for logic-based approaches combining generative models and solvers