Skip to content

A Rust library for manipulating and evaluating Boolean expressions and BDDs

License

Notifications You must be signed in to change notification settings

cfallin/boolean_expression

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

67 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

boolean_expression: a small Rust crate for Boolean expressions and BDDs

Rust

This crate provides for the manipulation and evaluation of Boolean expressions and Binary Decision Diagrams (BDDs), the construction of BDDs from Boolean expressions, and the construction of Boolean expressions from BDDs (via a simple cubelist-based minimization algorithm). It also has a very simple identity-based Boolean expression simplifier, though the cubelist-based minimizer is more effective.

boolean_expression is Copyright (c) 2016 by Chris Fallin <[email protected]> and is released under the MIT license. See LICENSE for details.

Documentation: here

Crates.io: here

About

A Rust library for manipulating and evaluating Boolean expressions and BDDs

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages