Cargo.toml - diaphragm - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/Cargo.toml

blob: 91eae68d737f2cd9bb5488a770fa4ad8a74afbed (plain)

[workspace]
members = [
	"cairo-renderer",
	# "cli",
	"core",
	"lua-bindings",
	"z3-solver",

	"examples/lib-dfscq-log",
]