Guides
How to install Savanty, describe problems well, and diagnose what the solver tells you.
beginner 6 min
Writing a good English problem statement
The LLM can only encode what you tell it. A short guide to describing a discrete constraint problem so Savanty translates it faithfully the first time.
Read guide → beginner 4 min
Using Ollama Cloud instead of GPT-4o
Savanty defaults to GPT-4o, but any OpenAI-compatible endpoint works. Here is how to point the translation step at Ollama Cloud with OLLAMA_API_KEY.
Read guide → intermediate 8 min
Reading a minimal unsatisfiable core when UNSAT
When Clingo returns UNSAT, Savanty hands you the smallest set of constraints that conflict. Here is how to read that core and decide whether to fix a constraint or accept infeasibility.
Read guide →