This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Make simplification with TOP more aggressive #2

Job	Run time
build_with_vcpkg_installed_z3 (linux)	4m 23s
build_with_vcpkg_installed_z3 (macos)	4m 51s
build_with_vcpkg_installed_z3 (windows)	4m 30s
	13m 44s

Provide feedback