Skip to content

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding #541

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding #541

Annotations

1 error and 11 warnings

build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...

failed Dec 5, 2024 in 5m 48s