#24978 closed enhancement (fixed)

use parameter solver in SatLP

Reported by: dcoudert Owned by:
Priority: major Milestone: sage-8.2
Component: linear programming Keywords:
Cc: mkoeppe Merged in:
Authors: David Coudert Reviewers: Frédéric Chapoton
Report Upstream: N/A Work issues:
Branch: 0e67b09 (Commits) Commit: 0e67b098c1ff406b6708e87ca708301b564b13f1
Dependencies: Stopgaps:

Description (last modified by dcoudert)

Part of #20416:

  • the argument solver, used to select LP solver, was not used in SatLP.
  • also adds parameter verbose for the LP solver.

Change History (3)

comment:1 Changed 19 months ago by dcoudert

  • Branch set to u/dcoudert/24978_satlp
  • Cc mkoeppe added
  • Commit set to 0e67b098c1ff406b6708e87ca708301b564b13f1
  • Description modified (diff)
  • Status changed from new to needs_review
  • Summary changed from add parameter solver to SatLP to use parameter solver in SatLP

New commits:

0e67b09trac #24978: use parameter solver in SatLP

comment:2 Changed 19 months ago by chapoton

  • Reviewers set to Frédéric Chapoton
  • Status changed from needs_review to positive_review


comment:3 Changed 18 months ago by vbraun

  • Branch changed from u/dcoudert/24978_satlp to 0e67b098c1ff406b6708e87ca708301b564b13f1
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.