-
Notifications
You must be signed in to change notification settings - Fork 9
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#1146 In CodingThrust/problem-reductions;
- Status: Open.#1145 In CodingThrust/problem-reductions;
Add an automatically published web reader for the Typst paper
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.#1144 In CodingThrust/problem-reductions;Separate lazy search cardinality from machine-sized storage requirements
bugSomething isn't workingSomething isn't workingStatus: Open.#1143 In CodingThrust/problem-reductions;Validate TruthTable invariants during deserialization
bugSomething isn't workingSomething isn't workingStatus: Open.#1142 In CodingThrust/problem-reductions;Separate witness feasibility and source solve conclusions at shared boundaries
bugSomething isn't workingSomething isn't workingStatus: Open.#1141 In CodingThrust/problem-reductions;Redesign symbolic size expressions for exact maps and certified bounds
enhancementNew feature or requestNew feature or requestStatus: Open.[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;