Package "packup"
Name: | packup |
Description: |
CUDF solver based on pseudo-Boolean constraints |
Latest version: | 0.6-1 |
Release: | precise (12.04) |
Level: | base |
Repository: | universe |
Homepage: | http://sat.inesc-id.pt/~mikolas/sw/packup/ |
Links
Download "packup"
Other versions of "packup" in Precise
No other version of this package is available in the Precise release.Changelog
Version: *DELETED* | 2012-03-06 10:49:40 UTC |
---|---|
No changelog for deleted or moved packages. |
Version: 0.6-1 | 2011-12-18 16:46:38 UTC |
---|---|
packup (0.6-1) unstable; urgency=low * New upstream release. -- Ralf Treinen Wed, 15 Jun 2011 22:12:11 +0200 |
Version: *DELETED* | 2011-12-18 14:34:21 UTC |
---|---|
No changelog for deleted or moved packages. |
About
-
Send Feedback to @ubuntu_updates