|
Bugzilla – Full Text Bug Listing |
| Summary: | check presence of suitable minisat upon installation | ||
|---|---|---|---|
| Product: | satchmo | Reporter: | Johannes Waldmann <waldmann> |
| Component: | satchmo-minisat | Assignee: | Johannes Waldmann <waldmann> |
| Status: | NEW --- | ||
| Severity: | enhancement | ||
| Priority: | P5 | ||
| Version: | unspecified | ||
| Hardware: | PC | ||
| OS: | Linux | ||
|
Description
Johannes Waldmann
2009-03-31 17:42:04 CEST
|