runEqualitySaturation should be configurable
Aperta
- Lingua principale
- Haskell
- Stelle
- 98
- Fork
- 17
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
Currently hardcoded to 30 iterations. In symregg we need to run saturation incrementally then reason about the output.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.