All pull requests

Pull requests

• Regular: allow start and accepting nodes that appear in no transition

  #1139·mayuriphad opened Oct 24, 2026·

  ·
  1

  1

• Fix MDD decomposition for nodes without outgoing edges

  simple to review
  #1138·WoutPiessens opened Oct 23, 2026Collaborator·

  ·

• Add persistent ivarmap to linear solvers

  #1136·OrestisLomis opened Oct 22, 2026Contributor·

  ·
  1

• Fix constraining and defining constraints for linear positive decomposition of Regular

  #1135·WoutPiessens opened Oct 22, 2026Collaborator·

  ·
  3

• add brackets for mod/div/pow to minizinc

  #1134·OrestisLomis opened Oct 21, 2026Contributor·

  ·

• Fix constraining/defining split for positive decomposition of circuit constraint

  #1133·OrestisLomis opened Oct 21, 2026Contributor·

  ·
  6

• Support generator expression for .add()

  #1131·ThomSerg opened Oct 21, 2026Collaborator·

  ·

• remove duplicate solutions from solveAll in ortools

  #1130·OrestisLomis opened Oct 19, 2026Contributor·

  ·
  4

• add list of globals supported in half-reified context

  #1129·OrestisLomis opened Oct 19, 2026Contributor·

  ·
  11

• Support numpy slicing on multi dim variables

  #1128·ThomSerg opened Oct 19, 2026Collaborator·

  ·

• Add an NLIPSat solver interface

  #1127·tias opened Oct 16, 2026Collaborator·

  ·

• Skills explain

  #1125·ThomSerg opened Oct 13, 2026Collaborator·

  ·

• Updates to Choco interface

  #1120·IgnaceBleukx opened Oct 12, 2026Collaborator·

  ·
  4

• Changelog "Unreleased" section and dev script

  #1116·ThomSerg opened Oct 5, 2026Collaborator·

  ·

• Update docs from British to American english

  #1107·IgnaceBleukx opened Sep 29, 2026Collaborator·

  ·
  3

• Typing global functions

  #1106·IgnaceBleukx opened Sep 24, 2026Collaborator·

  ·

• Skills infrastructure

  #1100·ThomSerg opened Sep 10, 2026Collaborator·

  ·
  3

• Add sphinx-llm for agent friendly docs

  #1099·ThomSerg opened Sep 9, 2026Collaborator·

  ·

• Description context manager

  #1098·IgnaceBleukx opened Sep 8, 2026Collaborator·

  ·
  3

• Large neighborhood search tool

  #1096·IgnaceBleukx opened Sep 4, 2026Collaborator·

  ·
  11

• Update only_numexpr_equality with types and docstring

  #1094·IgnaceBleukx opened Sep 3, 2026Collaborator·

  ·

• Halfreified global constraints

  #1093·IgnaceBleukx opened Aug 31, 2026Collaborator·

  ·

• Journal bibtex to readme

  simple to review
  #1089·IgnaceBleukx opened Aug 18, 2026Collaborator·

  ·

• Fix .value for nested partial functions

  #1086·IgnaceBleukx opened Aug 15, 2026Collaborator·

  ·

• Regular decomp

  blocked
  #1085·ThomSerg opened Aug 14, 2026Collaborator·

  ·
  1