↗ savanty Python Bridging natural language and constraint satisfaction. Describe optimisation problems in English, receive mathematically guaranteed solutions via formal solvers. MIT solver code