FICHA · AUR
mathsat-5
Solver SMT eficiente com suporte a uma ampla variedade de teorias e funcionalidades
- development-tool
- Linha de comando
- Desenvolvimento
- SCIENCE
- Abre direto
- Roda no terminal
· codex · reviewed · 2 de jun. de 2026 descrição em pt-br · fallback
Fórmulas lógicas podem ser verificadas quanto à satisfatibilidade em várias teorias para verificação, análise e pesquisa.
É um solver SMT para desenvolvedores, pesquisadores e usuários de métodos formais. Ele roda por ferramentas ou pelo terminal, e os resultados devem ser interpretados conforme o modelo e as teorias usadas.
Como rodar
mathsat
Comandos: mathsat
Permissões
Permissões ainda não analisadas para esta fonte.