Ubuntu
nlpsolver package

  1. Bug #1309985
  2. Comment #4

Comment 4 for bug 1309985

Revision history for this message
Paul Crawford (psc-sat) wrote :

Similar problem with 12.04 x64 system, shows it with "Error: The status of this extension is unknown"