Related packages
PPA packages
3 packages| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| cryptominisat | cryptominisat - Ubuntu Trusty | 4.2-5 | None | |
| stp | Simple Theorem Prover - Ubuntu Trusty | 1.0-1 | None |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
bbfa235
demo site
(Get the code!)