[package]
name = "autosat"
version = "0.1.0"
edition = "2021"
description = "Automatic conversion of functions to CNF for SAT solving"
license = "CC0-1.0"

[dependencies]