Branches

• liftdeg_merged

  45dd0fc0 · some more randomness · Dec 16, 2025
• pb25

  ce190750 · revert simple rename · Dec 02, 2025
• symbolic_bounds_merged

  b6138268 · Merge branch 'main' into symbolic_bounds · Nov 08, 2025
• liftdeg

  8ac8d276 · fix assert · Nov 08, 2025
• main default protected

  2eca2ae6 · update soplex · Oct 24, 2025
• symbolic_bounds

  80516ddc · option to disable symbolic bound saturation optimization · Oct 23, 2025
  !13
• efficient_resolve

  892204ed · check whether learned constraint is clause · Oct 20, 2025