Snapkitty
/

reverse-quantum-walk

quantum-computing

Model card Files Files and versions

reverse-quantum-walk / Cargo.toml

SNAPKITTYWEST's picture

push from SNAPKITTYWEST/reverse-quantum-walk

4953a87 verified about 1 month ago

Raw History Blame Contribute Delete

94 Bytes

	[workspace]
	members = [
	"crates/engine",
	"crates/kani-verification",
	]
	resolver = "2"