2 releases

0.0.3 Jun 4, 2024
0.0.2 Jul 13, 2023

#667 in Network programming

Download history 1/week @ 2024-08-27 1/week @ 2024-09-17 13/week @ 2024-09-24 2/week @ 2024-10-08 2/week @ 2024-10-15

81 downloads per month
Used in libreda-sta

AGPL-3.0-or-later

200KB
4.5K SLoC

libreda-logic

This crate implements core functionality for dealing with logic expression, including boolean logic and multi-valued logic.


lib.rs:

This crate contains the core functionality for dealing with logic functions in the LibrEDA framework.

References

Some unordered list of literature:

Dependencies

~1–1.6MB
~35K SLoC