Opened 3 years ago

#26330 new enhancement

Let LP-based SAT solver deal with xor_clauses

Reported by: tmonteil Owned by:
Priority: major Milestone: sage-8.4
Component: linear programming Keywords:
Cc: Merged in:
Authors: Thierry Monteil Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #26329 Stopgaps:

Status badges


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.

Change History (0)

Note: See TracTickets for help on using tickets.