Bug 216

Summary: check presence of suitable minisat upon installation
Product: satchmo Reporter: Johannes Waldmann <waldmann>
Component: satchmo-minisatAssignee: 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
minisat (version 2) needs to be in the $PATH (for execution),
  this should be checked during installation.