libreda-logic 0.0.3

Logic library for LibrEDA.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

// SPDX-FileCopyrightText: 2022 Thomas Kramer <code@tkramer.ch>
//
// SPDX-License-Identifier: AGPL-3.0-or-later

//! Transformations of the majority-inverter graph.

#![allow(unused)] // TODO remove once stabilized

mod associativity;
mod distributivity;

pub use associativity::*;
pub use distributivity::*;