build

Dump dDNNF to file #736

Job	Run time
build (ubuntu-24.04-arm, Release, ON)	5m 0s
build (macos-15-intel, Release, ON)	22m 17s
build (windows-latest, Release, OFF)	5m 37s
build (ubuntu-latest, Release, ON)	5m 32s
build (macos-15, Release, ON)	9m 5s
build (ubuntu-24.04-arm, Release, OFF)	5m 11s
build (ubuntu-latest, Release, OFF)	4m 46s
build (macos-15-intel, Release, OFF)	18m 20s
build (macos-15, Release, OFF)	10m 6s
	1h 25m 54s

Provide feedback