Search results

Use enumeration type in Markierungsalgorithmus

Status: Open.

#374 In fmidue/logic-tasks;

· jvoigtlaender opened on Jun 22, 2026

Add the second liar puzzle

Status: Open.

#373 In fmidue/logic-tasks;

· jvoigtlaender opened on Jun 21, 2026

put formula legend into collapsed

Status: Open.

#369 In fmidue/logic-tasks;

· jvoigtlaender opened on Jun 21, 2026

tableForm in LogicTasks.Forms should not use manual Yesod form fields

Status: Open.

#358 In fmidue/logic-tasks;

· patritzenfeld opened on Apr 10, 2026

Überprüfung bei Flex Konzertaufgabe anpassen

Status: Open.

#323 In fmidue/logic-tasks;

· patritzenfeld opened on Nov 24, 2025

ungünstige Zeilenumbrücke in Pick Task

Status: Open.

#320 In fmidue/logic-tasks;

· KatinkaMeer opened on Nov 21, 2025

Are the remaining uses of PropFormula for inputs okay?

Status: Open.

#300 In fmidue/logic-tasks;

· jvoigtlaender opened on Nov 10, 2025

Testen mit zufälligen Konfigurationen bei Step und Prolog

Status: Open.

#264 In fmidue/logic-tasks;

· jvoigtlaender opened on Mar 4, 2025

Test suite hangs when choosing random formula type at DecideSpec

Status: Open.

#263 In fmidue/logic-tasks;

· nimec01 opened on Mar 4, 2025

Reimplement parseDelayedWithAndThen with function from flex-tasks?

Status: Open.

#254 In fmidue/logic-tasks;

· jvoigtlaender opened on Feb 6, 2025

Parameter bei LogicResolutionComplete

Status: Open.

#245 In fmidue/logic-tasks;

· jvoigtlaender opened on Jan 19, 2025

Provide useful submission feedback for incremental solving process

Status: Open.

#235 In fmidue/logic-tasks;

· marcellussiegburg opened on Dec 17, 2024