Repositories list

• AutoIG

  Public
  Python

  •2•8•8•5•Updated Dec 19, 2024Dec 19, 2024

• CPAIOR2025-Symmetry

  Public
  Shell

  •0•0•0•0•Updated Dec 14, 2024Dec 14, 2024

• unified-planning

  Public
  The AIPlan4EU Unified Planning Library

  Python

  •

  Apache License 2.0

  •42•0•0•0•Updated Nov 26, 2024Nov 26, 2024

• permutation-classes-cp

  Public
  Jupyter Notebook

  •2•0•2•1•Updated Nov 5, 2024Nov 5, 2024

• modref2024-pipeline-comparison

  Public
  Jupyter Notebook

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Aug 28, 2024Aug 28, 2024

• CP2024-Frugal

  Public
  Python

  •0•0•0•0•Updated Aug 11, 2024Aug 11, 2024

• tabulation-exp

  Public
  0•0•0•0•Updated Aug 1, 2024Aug 1, 2024

• Plotting-Journal

  Public
  Additional material

  PDDL

  •0•0•0•0•Updated Jul 16, 2024Jul 16, 2024

• CP2022-Plotting

  Public
  PDDL

  •0•0•0•0•Updated Jul 16, 2024Jul 16, 2024

• downward

  Public
  The Fast Downward domain-independent classical planning system

  C++

  •

  GNU General Public License v3.0

  •144•0•0•0•Updated Mar 22, 2024Mar 22, 2024

• demystify

  Public
  Python

  •

  Mozilla Public License 2.0

  •3•7•3•0•Updated Mar 18, 2024Mar 18, 2024

• composable-permutation-patterns

  Public
  Jupyter Notebook

  •0•1•0•0•Updated Dec 26, 2023Dec 26, 2023

• magic-hexagon

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

• automated-streamliner-portfolios

  Public
  Python

  •1•0•0•1•Updated Aug 17, 2023Aug 17, 2023

• ModRef23-Factorio

  Public
  Python

  •3•2•0•0•Updated Jul 8, 2023Jul 8, 2023

• Demystify-Visualiser

  Public
  A React-based tool that provides a visualisation of the human-understandable solutions to "pen and paper" puzzles produced by the "Demystify" solver.

  JavaScript

  •3•3•0•2•Updated Sep 8, 2022Sep 8, 2022

• cp2022-hcicp

  Public
  Jupyter Notebook

  •0•0•0•0•Updated May 5, 2022May 5, 2022

• ModRef2021-robustness

  Public
  0•0•0•0•Updated Aug 23, 2021Aug 23, 2021

• ConstraintModelling.org

  Public
  TeX

  •0•0•0•1•Updated Jul 14, 2021Jul 14, 2021

• CPAIOR2020-InstanceGen

  Public
  A constraint-based automated instance generation tool

  Python

  •0•2•0•0•Updated Nov 8, 2020Nov 8, 2020

• CP2020-SRSMT

  Public
  Supplemental repository for "Effective Encodings of Constraint Programming Models to SMT" published in CP2020

  Shell

  •0•0•0•0•Updated Jul 21, 2020Jul 21, 2020

• ECAI2020-CDP

  Public
  Python

  •0•1•0•0•Updated Feb 19, 2020Feb 19, 2020

• CP2019-Streamlining

  Public
  0•0•0•0•Updated Nov 7, 2019Nov 7, 2019

• ModRef2019-Dominance

  Public
  0•0•0•0•Updated Aug 22, 2019Aug 22, 2019

• CP2019-InstanceGen

  Public
  R

  •0•0•0•0•Updated Jul 23, 2019Jul 23, 2019

• OEDM18-mining

  Public
  Python

  •1•0•0•0•Updated Oct 24, 2018Oct 24, 2018

• cp2018-streamlining

  Public
  Java

  •0•0•0•0•Updated Aug 29, 2018Aug 29, 2018

• ModRef2018-MCM

  Public
  TeX

  •0•0•0•0•Updated Aug 16, 2018Aug 16, 2018

• ModRef2018-Langfords

  Public
  Python

  •0•0•0•0•Updated Jul 11, 2018Jul 11, 2018

• cp2018-tabulation

  Public
  Experimental software and supplementary results for the CP 2018 tabulation paper.

  Java

  •0•0•0•0•Updated Jul 3, 2018Jul 3, 2018