1MiniZinc, constraint modelling language solve discrete optimisation problems (opens in new tab)(minizinc.org)64Alifatisk15d ago0
2Kimi vendor verifier – verify accuracy of inference providers (opens in new tab)(kimi.com)310Alifatisk19d ago33