boolean-circuit 2.2.0

A library to import, modify and export boolean circuits.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

[dependencies.itertools]
version = "0.14.0"

[dev-dependencies.pretty_assertions]
version = "1.4.1"

[lib]
name = "boolean_circuit"
path = "src/lib.rs"

[package]
authors = ["chriseth <chriseth.github@gmail.com>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
description = "A library to import, modify and export boolean circuits."
documentation = "https://docs.rs/boolean-circuit"
edition = "2021"
keywords = ["circuit", "gate", "AIGER", "CNF", "DIMACS"]
license = "MIT OR Apache-2.0"
name = "boolean-circuit"
readme = "README.md"
repository = "https://github.com/chriseth/boolean-circuit"
version = "2.2.0"