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

Make simplification with TOP more aggressive #1

Job	Run time
build_with_vcpkg_installed_z3 (windows)	4m 50s
build_with_vcpkg_installed_z3 (linux, ubuntu-latest, x64-linux)	5m 2s
build_with_vcpkg_installed_z3 (macos, macos-latest, x64-osx)	4m 38s
	14m 30s

Provide feedback