-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Dense LU fallback for small simplex bases
enhancementNew feature or requestNew feature or requestStatus: Open.#2006 In Eignex/klause;Get more out of pairing the float simplex with the exact fallback
enhancementNew feature or requestNew feature or requestStatus: Open.#1923 In Eignex/klause;Cost perturbation for degenerate LPs, and the shift removal it requires
enhancementNew feature or requestNew feature or requestStatus: Open.#1922 In Eignex/klause;Satisfaction LP does only node refutation, and the CSP palette omits the conservative arm
enhancementNew feature or requestNew feature or requestStatus: Open.#1921 In Eignex/klause;enlight_hard reaches the optimum without proving it
enhancementNew feature or requestNew feature or requestStatus: Open.#1920 In Eignex/klause;Exact LIA reduction spends a whole budget on one branch check
bugSomething isn't workingSomething isn't workingStatus: Open.#1918 In Eignex/klause;- Status: Open.#1772 In Eignex/klause;
Node-slice sizing is unmeasured and now decides each model's outcome deterministically
enhancementNew feature or requestNew feature or requestStatus: Open.#1748 In Eignex/klause;detekt and dokka fail the gate intermittently with nothing to fix
bugSomething isn't workingSomething isn't workingStatus: Open.#1658 In Eignex/klause;- Status: Open.#1631 In Eignex/klause;
- Status: Open.#1630 In Eignex/klause;
Sequential portfolio bandit has no reward signal before a first solution
enhancementNew feature or requestNew feature or requestStatus: Open.#1526 In Eignex/klause;