Descrição
Documentação do solver SMT pode ser lida localmente para uso, APIs e teorias suportadas pelo Bitwuzla. É útil para desenvolvedores e pesquisadores que aprendem a modelar problemas de verificação.
Documentação ajuda a explicar o comportamento da ferramenta, mas não valida suas restrições. Teste exemplos e modelos no solver.