SMT Solver with LLM Translation

Describe a problem in plain English. An LLM translates it to SMT-LIB, a solver finds a solution, and the LLM translates the answer back.

API Configuration

⚠️ Never share API keys with untrusted sites. Use a temporary key with spending limits.

1. Problem Input

Try a sample: Meeting Scheduling Graph Coloring Magic Square Latin Square

2. Translated Problem (SMT-LIB)

3. Verification

Translation verification will appear here...

4. Raw Solver Output

Solver output will appear here...

5. Human-Readable Solution

Human-readable solution will appear here...