Rust

Support for more regular expression operations (#275) #495

Job	Run time
build (macos-latest)	30s
build (ubuntu-latest)	39s
build_on_wasm	28m 51s
build_with_bundled_z3 (linux)	13m 33s
build_with_vcpkg_installed_z3 (linux)	1m 12s
build_with_bundled_z3 (macos)	11m 42s
build_with_vcpkg_installed_z3 (macos)	1m 4s
check-formatting	3s
build_with_bundled_z3 (windows)	18m 12s
run_clippy	28s
build_with_vcpkg_installed_z3 (windows)	4m 48s
	1h 21m 2s

Provide feedback