Skip to content
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

Let LP-based SAT solver deal with xor_clauses #26330

Open
sagetrac-tmonteil mannequin opened this issue Sep 21, 2018 · 0 comments
Open

Let LP-based SAT solver deal with xor_clauses #26330

sagetrac-tmonteil mannequin opened this issue Sep 21, 2018 · 0 comments
Labels
c: linear programming p: major / 3 t: enhancement

Comments

@sagetrac-tmonteil
Copy link
Mannequin

sagetrac-tmonteil mannequin commented Sep 21, 2018

It is easy to model xor clauses in a LP program. I have some code, but since doctests will depend on #26329, let us first wait that it gets merged to avoid useless rebasing.

Depends on #26329

Component: linear programming

Author: Thierry Monteil

Issue created by migration from https://trac.sagemath.org/ticket/26330
@sagetrac-tmonteil sagetrac-tmonteil mannequin added this to the sage-8.4 milestone Sep 21, 2018
@mkoeppe mkoeppe removed this from the sage-8.4 milestone Dec 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: linear programming p: major / 3 t: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mkoeppe