Ondokuz / libz3-jni

theorem prover from Microsoft Research - JNI library



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir libz3-jni 4.8.10-1
yirmiuc libz3-jni 4.8.12-3.1