Related packages
PPA packages
Displaying first 10 packages out of 12 totalName | Uploaded to | Version | When | Failures |
---|---|---|---|---|
z3 | gpuverify-smt - Ubuntu Precise | 4.3.2-0~precise2 | None | |
z3 | boogaloo-smt - Ubuntu Trusty | 4.3.1-0~trusty1 | None | |
cvc4 | gpuverify-smt - Ubuntu Trusty | 1.4+1branch-ppa1~trusty | None | |
z3 | gpuverify-smt - Ubuntu Trusty | 4.3.2-0~trusty1 | None | |
cvc4 | gpuverify-smt - Ubuntu Precise | 1.3-1ubuntu1~precise1 | None | |
cvc4 | playground - Ubuntu Trusty | 1.3-1ubuntu3~trusty1 | None | |
cvc4 | playground - Ubuntu Precise | 1.3-1ubuntu1~precise1 | None | |
stp | Simple Theorem Prover - Ubuntu Utopic | 1.0+1SNAPSHOT20141101-0~utopic1 | None | |
stp | Simple Theorem Prover - Ubuntu Precise | 1.0+1SNAPSHOT20141101-0~precise1 | None | |
stp | Simple Theorem Prover - Ubuntu Trusty | 1.0+1SNAPSHOT20141101-0~trusty1 | None |