Tópico · smt-solver

smt-solver

Repositórios de código aberto acompanhados marcados com smt-solver, ordenados por estrelas.

Repositórios

2

Total de estrelas

1.050

Média de estrelas

525

Participação

0,00%

Tópicos que aparecem com frequência ao lado de smt-solver no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com smt-solver.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
z3.rs ↗@prove-rsRust
Bindings em Rust para o solver Z3.
★ 533+1Variação de estrelas nos últimos 7 dias
#2
esbmc ↗@esbmcC++
O verificador de modelos limitado por contexto eficiente baseado em SMT (ESBMC)
★ 517+1Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos