USolver
Một máy chủ để giải các bài toán tối ưu hóa tổ hợp, lồi, số nguyên và phi tuyến.
GitHub
65
Dùng thử MCP nàyĐược tài trợTài liệu
USolver
This project is no longer maintained.
I've moved on to working at OneChronos, so I'm no longer developing or supporting USolver. The repository has been archived and will remain available read-only for anyone who finds it useful.
If this kind of work interests you (combinatorial optimization, SMT/convex solvers, formal methods, language-model tooling for mathematical problems), OneChronos is hiring. Take a look at the careers page.