Dépôts open source suivis de berkeley-abc, triés par étoiles.
ABC : Système de synthèse logique séquentielle et de vérification formelle.
