Skip to content

Change SAT2KSATInfo to be synonym of TseitinInfo #507

Change SAT2KSATInfo to be synonym of TseitinInfo

Change SAT2KSATInfo to be synonym of TseitinInfo #507

Annotations

10 warnings

build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...

succeeded Nov 17, 2024 in 14m 56s