Opened 7 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:

Status badges


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


Change History (0)

Note: See TracTickets for help on using tickets.