New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

make use of GLPK's SAT Solver #16862

Open

malb opened this issue Aug 21, 2014 · 0 comments

Labels

c: packages: standard p: major / 3 t: enhancement

Member

malb commented Aug 21, 2014

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

Upstream: None of the above - read trac for reasoning.

CC: @nathanncohen @videlec

Component: packages: standard

Keywords: sat

Issue created by migration from https://trac.sagemath.org/ticket/16862

malb added c: packages: standard labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment