Merge requests · waldmann / autotool · GitLab

variable elimination for DPLL/CDCL

!135 · created Oct 24, 2023 by waldmann
- Merged
updated Jan 08, 2024
Resolve "Control.Monad.Error is gone with mtl-2.3 (stackage nightly for ghc-9.6)"

!134 · created Oct 07, 2023 by waldmann
ghc-9.6
- Merged
updated Dec 12, 2023
Draft: Resolve "add CFG property: singleton"

!133 · created Jun 24, 2023 by waldmann
backend new feature
updated Jun 26, 2023
Resolve "CFG: replace ASCII art for derivation trees by proper drawing"

!132 · created Jun 13, 2023 by waldmann
- Merged
updated Jun 13, 2023
Resolve "Pump: Schranke für Nein sollte konfigurierbar sein"

!131 · created Jun 10, 2023 by waldmann
backend enhancement performance
- Merged
updated Jun 13, 2023
Resolve "add tests for collection/src/Language"

!130 · created Jun 08, 2023 by waldmann
- Merged
updated Jun 10, 2023
Resolve "Pump-Aufgaben: num-samples überprüfen"

!129 · created Jun 01, 2023 by waldmann
backend bug
- Merged
updated Jun 02, 2023
Resolve "wanted: neural network exercise(s)"

!128 · created May 08, 2023 by waldmann
- Merged
updated May 08, 2023
Latest updates from fmidue

!127 · created May 03, 2023 by waldmann
- Merged
- 10
updated Jan 17, 2024
Resolve "wanted: ENFA-Aufgabe (epsilons hinzufügen)"

!126 · created May 01, 2023 by waldmann
- Merged
updated May 05, 2023
Resolve "wanted: NFA-Shortest-Missing"

!125 · created Apr 27, 2023 by waldmann
- Merged
updated Apr 27, 2023
Resolve "prettyprinter for terms needs align"

!124 · created Apr 15, 2023 by waldmann
- Merged
updated Apr 17, 2023
Resolve "gomoku-better-heuristic: should have number of wins as highscore parameter"

!123 · created Apr 13, 2023 by waldmann
- Merged
updated Apr 13, 2023
Resolve "wanted: Beweisbaum für Mitgliedschaft in Sprache eines regulären Ausdrucks"

!122 · created Apr 10, 2023 by waldmann
- Merged
updated Apr 12, 2023
Resolve "wanted: eindeutige reguläre Ausdrücke"

!121 · created Apr 09, 2023 by waldmann
- Merged
updated Apr 10, 2023
Resolve "implement variable_elimination for DPLL"

!120 · created Feb 16, 2023 by waldmann
- Closed
updated Aug 07, 2023
Feature DPLL: variable elimination

!119 · created Feb 03, 2023 by waldmann
- Closed
updated Oct 24, 2023
Resolve "parallelize execution of tests (in particular, autotool-collection)"

!118 · created Dec 22, 2022 by waldmann
- Merged
updated Feb 02, 2023
yesod:MD5Aux.ABCD: instance Num -> Semigroup

!117 · created Dec 22, 2022 by waldmann
- Merged
updated Feb 02, 2023
yesod: avoid many warnings that are easy to prevent

!116 · created Dec 21, 2022 by waldmann
- Merged
updated Mar 29, 2023

Prev
1
2
3
4
5
6
…
8
Next