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

Open in new window