🎉 Smithery is now a part of Arcade.dev! Read more in our announcement here
Solve constraint programming problems with MiniZinc.
