Yirmibir / cryptominisat

SAT solver command line interface



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmiuc cryptominisat 5.11.4+dfsg1-2+b1