berkeley-abc/abc
@berkeley-abcABC: System zur Synthese sequenzieller Logik und formalen Verifikation
Sterne
1.216
Forks
785
Sprache
C
Lizenz
NOASSERTION
Letzter Push
vor 1 Woche
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.