Descrição
Restrições formais e fórmulas lógicas podem ser verificadas com um provador de teoremas SMT. É útil para verificação, análise simbólica e fluxos de desenvolvimento apoiados por solver pela linha de comando.
FICHA · AUR
z3-git
Z3 é um provador de teoremas da Microsoft Research
- development-tool
- Linha de comando
- Desenvolvimento
- Abre direto
- Roda no terminal
codex · reviewed · 5 de jun. de 2026 descrição em
pt-br · fallback Como rodar
z3
Comandos: z3
Permissões
Permissões ainda não analisadas para esta fonte.