Commit ad8e1d8d authored Apr 05, 2023 by Marek Chalupa

Merge branch 'xchalup4-master-patch-64576' into 'master'

Update README.md

See merge request !1

README.md

+5 −0

Original line number	Diff line number	Diff line
		# Repository moved

		The new repository is at GitLab: https://gitlab.com/mchalupa/slowbeast


		# Slowbeast

		Playground for symbolic execution.