Proprietário · berkeley-abc

berkeley-abc

Repositórios de código aberto acompanhados de berkeley-abc, ordenados por estrelas.

1 repositório

#1
abc ↗@berkeley-abcC
ABC: Sistema para síntese de lógica sequencial e verificação formal
★ 1.216+0Variação de estrelas nos últimos 7 dias