Search for a command to run...
loading…
1 MCPs · 0 installs total
Enables solving constraint satisfaction problems, mathematical equations, and logic puzzles using the Z3 SMT solver through natural language.
