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
|
z3 |
smt -
Ubuntu Trusty
|
4.3.2-1~trusty1 |
|
None
|
z3 |
smt -
Ubuntu Precise
|
4.3.2-1~precise1 |
|
None
|