USolver

Um servidor para resolver problemas de otimização combinatória, convexa, inteira e não linear.

Documentação

USolver

Este projeto não é mais mantido.

Passei a trabalhar na OneChronos, então não estou mais desenvolvendo ou dando suporte ao USolver. O repositório foi arquivado e permanecerá disponível somente para leitura para quem o achar útil.

Se esse tipo de trabalho lhe interessa (otimização combinatória, solvers SMT/convexos, métodos formais, ferramentas de modelagem de linguagem para problemas matemáticos), a OneChronos está contratando. Dê uma olhada na página de carreiras.