-
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
Path ranking: Pareto layers over target parameters (symbolic and numerical modes)
DiscussionNeed some human feedback and expert validation.Need some human feedback and expert validation.enhancementNew feature or requestNew feature or requestStatus: Open.#1179 In CodingThrust/problem-reductions;Add a size budget to concrete path execution
enhancementNew feature or requestNew feature or requestStatus: Open.#1178 In CodingThrust/problem-reductions;pred path with an instance: one failing path aborts the whole batch
bugSomething isn't workingSomething isn't workingStatus: Open.#1177 In CodingThrust/problem-reductions;ILP<i64> rules declare bounds as constraints, so ILP<i64> → ILP<bool> always fails
bugSomething isn't workingSomething isn't workingStatus: Open.#1176 In CodingThrust/problem-reductions;Make reduction size formulas available end-to-end (ILP → QUBO first)
enhancementNew feature or requestNew feature or requestStatus: Open.#1175 In CodingThrust/problem-reductions;- Status: Open.#1152 In CodingThrust/problem-reductions;
- Status: Open.#1150 In CodingThrust/problem-reductions;
- Status: Open.#1149 In CodingThrust/problem-reductions;
Separate CVP integer and floating-point variants under the numeric contract
enhancementNew feature or requestNew feature or requestStatus: Open.#1146 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;Separate witness feasibility and source solve conclusions at shared boundaries
bugSomething isn't workingSomething isn't workingStatus: Open.#1141 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;