Package "minisat"
| Name: | minisat |
Description: |
Fast and lightweight SAT solver |
| Latest version: | 1:2.2.1-3 |
| Release: | precise (12.04) |
| Level: | base |
| Repository: | universe |
| Head package: | minisat2 |
| Homepage: | http://minisat.se/ |
Links
Download "minisat"
Other versions of "minisat" in Precise
No other version of this package is available in the Precise release.Changelog
| Version: *DELETED* | 2012-03-06 10:44:27 UTC |
|---|---|
| No changelog for deleted or moved packages. | |
| Version: 1:2.2.1-3 | 2011-12-18 16:42:41 UTC | ||
|---|---|---|---|
|
minisat2 (1:2.2.1-3) unstable; urgency=low * Updated man page (closes: #638217) -- Michael Tautschnig Sat, 03 Sep 2011 21:03:43 +0100 |
|||
|
|||
| Version: *DELETED* | 2011-12-18 14:32:57 UTC |
|---|---|
| No changelog for deleted or moved packages. | |
About
-
Send Feedback to @ubuntu_updates
