[dependencies.thiserror]
version = "2.0.12"
[lib]
name = "mutaig"
path = "src/lib.rs"
[package]
authors = ["Rémi Germe <remi.germe@gmail.com>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["data-structures"]
description = "Mutable AIGs designed for equivalence checking."
documentation = "https://docs.rs/mutaig"
edition = "2024"
keywords = ["aig", "equivalence-checking"]
license = "MIT"
name = "mutaig"
readme = "README.md"
repository = "https://github.com/remigerme/mutaig"
version = "0.4.2"