Search results

CSV done state

Status: Open.

#33 In krr-up/flatland;

· arugu1a opened on Mar 4, 2025

Sorting of actions might be suboptimal

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#30 In krr-up/flatland;

· FeignDeath opened on Feb 5, 2025

Timing issue with Malfunctions

bugSomething isn't workingSomething isn't working

Status: Open.

#18 In krr-up/flatland;

· Ravio-li opened on Dec 9, 2024

Unsolvable Instances

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#16 In krr-up/flatland;

· FeignDeath opened on Nov 19, 2024

Feature Request: render flag

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In krr-up/flatland;

· FeignDeath opened on Nov 18, 2024

Idea: Piping

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In krr-up/flatland;

· FeignDeath opened on Nov 18, 2024

Output used by Clingo

Status: Open.

#12 In krr-up/flatland;

· FeignDeath opened on Nov 4, 2024