-
Notifications
You must be signed in to change notification settings - Fork 7
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Make reduction execution fail explicitly and keep declared capabilities executable
bugSomething isn't workingSomething isn't workingStatus: Open.#1117 In CodingThrust/problem-reductions;Establish a repository-wide standard for numeric types and arithmetic
enhancementNew feature or requestNew feature or requestStatus: Open.#1116 In CodingThrust/problem-reductions;KthLargestMTuple ignores k and returns a count instead of the threshold decision
bugSomething isn't workingSomething isn't workingStatus: Open.#1115 In CodingThrust/problem-reductions;Make pred inspect report reductions for the exact input variant
bugSomething isn't workingSomething isn't workingStatus: Open.#1114 In CodingThrust/problem-reductions;Return infeasibility when solving witness-preserving reduction bundles
bugSomething isn't workingSomething isn't workingStatus: Open.#1113 In CodingThrust/problem-reductions;[Rule] ThreeDimensionalMatching to ExactCoverBy3Sets
GoodAn issue passed all checks.An issue passed all checks.ruleA new reduction rule to be added.A new reduction rule to be added.Status: Open.#1103 In CodingThrust/problem-reductions;[Rule] MaxCut/One to Maximum2Satisfiability
GoodAn issue passed all checks.An issue passed all checks.ruleA new reduction rule to be added.A new reduction rule to be added.Status: Open.#1102 In CodingThrust/problem-reductions;[Rule] NAESatisfiability to Satisfiability
GoodAn issue passed all checks.An issue passed all checks.ruleA new reduction rule to be added.A new reduction rule to be added.Status: Open.#1101 In CodingThrust/problem-reductions;[Rule] SetSplitting to NAESatisfiability
GoodAn issue passed all checks.An issue passed all checks.ruleA new reduction rule to be added.A new reduction rule to be added.Status: Open.#1100 In CodingThrust/problem-reductions;[Rule] KColoring to Satisfiability
GoodAn issue passed all checks.An issue passed all checks.ruleA new reduction rule to be added.A new reduction rule to be added.Status: Open.#1099 In CodingThrust/problem-reductions;[Rule] HamiltonianCircuit to Satisfiability
GoodAn issue passed all checks.An issue passed all checks.ruleA new reduction rule to be added.A new reduction rule to be added.Status: Open.#1098 In CodingThrust/problem-reductions;[Rule] HamiltonianPath to HamiltonianCircuit
GoodAn issue passed all checks.An issue passed all checks.ruleA new reduction rule to be added.A new reduction rule to be added.Status: Open.#1097 In CodingThrust/problem-reductions;