Opened 5 years ago

#16862 new enhancement

make use of GLPK's SAT Solver

Reported by: malb Owned by:
Priority: major Milestone:
Component: packages: standard Keywords: sat
Cc: ncohen, vdelecroix Merged in:
Authors: Reviewers:
Report Upstream: None of the above - read trac for reasoning. Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

GLPK includes MiniSat? and Sage includes GLPK. Hence, Sage includes a SAT Solver by default, but we don't use it. This should change.

see http://en.wikibooks.org/wiki/GLPK/Mixing_GLPK_with_other_solver_packages#MiniSat_CNF-SAT_solver

Change History (0)

Note: See TracTickets for help on using tickets.