Yirmiuc / libz3-jni

theorem prover from Microsoft Research - JNI library



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
ondokuz libz3-jni 4.4.1-1~deb10u1
yirmibir libz3-jni 4.8.10-1