Propaganda
Coopr.
um repositório de python de otimização comum ...
TIGA UPPAAL.
Uppaal TIGA é uma extensão do uppaal e implementa o primeiro algoritmo eficiente em movimento para resolver jogos. ...
Uppaal. Resolvendo Resolvendo jogos verificador de linha de comando Algoritmo on-the-fly
Autoabacus.
Autoabacus Project é uma poderosa biblioteca de resolução de equações que encontra soluções para conjuntos de equações com um encaixe. ...
equação Resolvendo Biblioteca da Equação. Resolução da equação conjuntos de equações.