Propietario · berkeley-abc

berkeley-abc

Repositorios de código abierto monitorizados de berkeley-abc, ordenados por estrellas.

1 repositorio

#1
abc ↗@berkeley-abcC
ABC: sistema para la síntesis de lógica secuencial y verificación formal.
★ 1216+0Variación de estrellas de los últimos 7 días