summaryrefslogtreecommitdiffstats
path: root/Cargo.toml
blob: 6188e852cf06a69e18aadd20eee26b9a1a90184f (plain)
1
2
3
4
5
6
7
8
9
10
[workspace]
members = [
	"cairo-renderer",
	# "cli",
	"core",
	"lua-bindings",
	"z3-solver",

	# "examples/lib-dfscq-log",
]