https://github.com/thaliaarchi/bdd-rust

A small library for binary decision diagrams in Rust
https://github.com/thaliaarchi/bdd-rust

Last synced: 2 months ago
JSON representation

A small library for binary decision diagrams in Rust

• Host: GitHub
• URL: https://github.com/thaliaarchi/bdd-rust
• Owner: thaliaarchi
• License: mpl-2.0
• Created: 2023-04-08T11:23:55.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-12-06T08:08:34.000Z (6 months ago)
• Last Synced: 2025-01-25T10:08:15.993Z (4 months ago)
• Language: Rust
• Homepage:
• Size: 113 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# bdd

A library for binary decision diagrams in Rust.