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

Update README to point to new home. #59

Job	Run time
build_with_vcpkg_installed_z3 (linux)	27m 19s
build_with_vcpkg_installed_z3 (macos)	16m 56s
build_with_vcpkg_installed_z3 (windows)	38m 52s
	1h 23m 7s

Provide feedback