Ondokuz / berkeley-abc

ABC - A System for Sequential Synthesis and Verification



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir berkeley-abc 1.01+20191006git52a8ebb+dfsg-1
yirmiuc berkeley-abc 1.01+20221019git70cb339+dfsg-4