[package]
name = "solve"
version = "0.1.0"
authors = ["Lucas Stadler <lu@papill0n.org>"]

[[bin]]
name = "cnf"