Skip to content

Issues: fmidue/logic-tasks

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

26 Open 129 Closed
26 Open 129 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Testen mit zufälligen Konfigurationen bei Step und Prolog
#264 opened Mar 4, 2025 by jvoigtlaender
Test suite hangs when choosing random formula type at DecideSpec
#263 opened Mar 4, 2025 by nimec01
2
Resolution with clauses that contain A and not(A) together
#258 opened Feb 13, 2025 by jvoigtlaender
Get rid of all too specialized extra... text options?
#256 opened Feb 11, 2025 by jvoigtlaender
1
Reimplement parseDelayedWithAndThen with function from flex-tasks?
#254 opened Feb 6, 2025 by jvoigtlaender
1
Parameter bei LogicResolutionComplete after-semester
#245 opened Jan 19, 2025 by jvoigtlaender
3
Provide useful submission feedback for incremental solving process
#235 opened Dec 17, 2024 by marcellussiegburg
1
potentiell verwirrende Feedback-Ausgaben abschalten
#225 opened Nov 19, 2024 by jvoigtlaender
Rollen von PropFormula und SynTree
#221 opened Nov 18, 2024 by jvoigtlaender
7
Verhältnis positiver und negativer Literale bei Formelgenerierung steuern lassen after-semester
#219 opened Nov 15, 2024 by jvoigtlaender
@JNAOB
"dreiwertige" Antworten bei Entscheidungsaufgaben
#213 opened Nov 9, 2024 by jvoigtlaender
1
Teilpunktebewertung bei RemoveBrackets? after-semester
#212 opened Nov 8, 2024 by jvoigtlaender
@JNAOB
Aufgabentext bei RemoveBrackets etwas unterpräzise
#211 opened Nov 8, 2024 by jvoigtlaender
3
TruthTableFindMistakes ins Positive kehren? after-semester
#210 opened Nov 8, 2024 by jvoigtlaender
1
2
Teilpunktebewertung bei ComposeFormula after-semester
#201 opened Nov 2, 2024 by jvoigtlaender
1
1
Fehlergründe und Sonderfälle im Feedback ausgeben/hervorheben bei Invalid-Aufgaben after-semester
#200 opened Nov 1, 2024 by jvoigtlaender
1
gleichzeitiges Anzeigen von Aufgabe und Abgabefeld, zum Beispiel bei ComposeFormula
#167 opened Sep 5, 2024 by jvoigtlaender
3
Aufbau Aufgabenstellung SuperfluousBrackets
#139 opened Jun 13, 2024 by KatinkaMeer
1
Aufbau Aufgabenstellung TreeToFormula
#135 opened Jun 13, 2024 by KatinkaMeer
1
Mehrstufiges Parsen wo angebracht
#126 opened Apr 11, 2024 by owestphal
5
get rid of tryGen
#106 opened Feb 9, 2024 by jvoigtlaender
Aufgabenidee: Formel zu Tabelle auswählen
#104 opened Feb 9, 2024 by jvoigtlaender
2
potentielle Varianten von Min-Term- und Max-Term-Aufgaben
#96 opened Feb 1, 2024 by jvoigtlaender
1
Undurchsichtige Validierung von LegalCNFConfig
#90 opened Jan 19, 2024 by owestphal
4
change repo structure
#27 opened Feb 9, 2023 by jvoigtlaender
1
1
ProTip! no:milestone will show everything without a milestone.