[package]
name = "colors"
version = "0.1.0"
edition = "2024"

[dependencies]
z3 = "0.19.15"