-
Notifications
You must be signed in to change notification settings - Fork 26
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#545 In ReduxISU/Redux;
- Status: Open.#544 In ReduxISU/Redux;
SAT3PQObject constructor mutates the caller's shared SAT3.literals list, desyncing KarpIntProgStandard's variable ordering
bugSomething isn't workingSomething isn't workingStatus: Open.#543 In ReduxISU/Redux;GareyJohnson.mapSolutions() uses a different node-naming scheme than reduce(), so verification always fails
bugSomething isn't workingSomething isn't workingStatus: Open.#542 In ReduxISU/Redux;GareyJohnson.mapSolutions() throws IndexOutOfRangeException for single-clause SAT3 instances
bugSomething isn't workingSomething isn't workingStatus: Open.#541 In ReduxISU/Redux;KarpReduceGRAPHCOLORING.mapSolutions() emits a certificate GraphColoringVerifier can't parse, and hardcodes every clause's coloring
bugSomething isn't workingSomething isn't workingStatus: Open.#540 In ReduxISU/Redux;SAT3Gadget.Equals() always returns false, even for identical gadgets
bugSomething isn't workingSomething isn't workingStatus: Open.#539 In ReduxISU/Redux;UnstructuredGroverSolver.solve() throws an unhandled FormatException instead of a clear error when the quantum service response is malformed
bugSomething isn't workingSomething isn't workingStatus: Open.#538 In ReduxISU/Redux;DM3.ParseProblem/ParseM cross-contaminate the X/Y/Z header sets and M, breaking the documented default instance
bugSomething isn't workingSomething isn't workingStatus: Open.#537 In ReduxISU/Redux;SPSP.ParseEdge crashes on unweighted, undirected edges ("Cannot index into a set")
bugSomething isn't workingSomething isn't workingStatus: Open.#536 In ReduxISU/Redux;SSSP unweighted-undirected grammar pattern is malformed — that instance shape can never be constructed
bugSomething isn't workingSomething isn't workingStatus: Open.#535 In ReduxISU/Redux;GraphColoringBruteForce.solve() never tries the trivial 1-coloring for K=1
bugSomething isn't workingSomething isn't workingStatus: Open.#534 In ReduxISU/Redux;