Yirmibes / python3-cryptominisat

Python bindings for the CryptoMiniSat SAT solver (Python 3)



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmiuc python3-cryptominisat 5.11.4+dfsg1-2+b1
yirmibir python3-cryptominisat 5.8.0+dfsg1-1+b3