Add the (experimental cvc5) theory of sequences #187

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	1m 2s
publish (linux-x64)	43s
pack	34s
publish (win-x64)	49s
publish (osx-x64)	43s
release	0s
deploy	0s
	3m 51s