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

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