All pull requests

Pull requests

• Evolog - Support for actions and program modularization

  #364·madmike200590 opened Nov 2, 2025Collaborator·

  ·

• Grounder restart

  #361·paulbehofsics opened Jul 19, 2023Collaborator·

  ·
  1

• Evolog: Permit actions in stratifiable part of input programs

  #338·madmike200590 opened Mar 8, 2022Collaborator·

  ·
  1

• Preprocessing

  #337·mschmutzhart opened Feb 14, 2022Collaborator·

  ·
  8

• Refactoring: Decouple API implementation from config structures

  #336·madmike200590 opened Feb 8, 2022Collaborator·

  ·
  3

• Refactor Unit Tests

  #335·madmike200590 opened Feb 2, 2022Collaborator·

  ·
  2

• Build Properties

  #331·lorenzleutgeb opened Dec 20, 2021Member·

  ·
  3

• Native Image

  #330·lorenzleutgeb opened Dec 20, 2021Member·

  ·
  6

• Versioning with Reckon

  #329·lorenzleutgeb opened Dec 17, 2021Member·

  ·
  1

• ci: Enable bors

  #319·lorenzleutgeb opened Dec 14, 2021Member·

  ·
  3

• Additional ground nogoods generated for choice rules

  #284·rtaupe opened Dec 16, 2020Collaborator·

  ·
  1

• Completion

  #283·AntoniusW opened Dec 15, 2020Collaborator·

  ·
  1

• Additional constraint generated during transformation of choice rules

  #282·rtaupe opened Dec 15, 2020Collaborator·

  ·
  5

• Enable weak constraints

  #273·AntoniusW opened Oct 26, 2020Collaborator·

  ·
  1

  11

• Conflict generalisation

  #242·rtaupe opened Mar 23, 2020Collaborator·

  ·
  1

• Extended support for domain-specific heuristics

  enhancement
  #213·rtaupe opened Dec 12, 2019Collaborator·

  ·
  3

  

• Phase saving, restarts, and heuristic performance logs

  #202·AntoniusW opened Oct 7, 2019Collaborator·

  ·
  45