https://github.com/novacrazy/rust-tribool

Tribool - Three-valued logic for Rust
https://github.com/novacrazy/rust-tribool

library logic mit-license rust tribool

Last synced: about 1 month ago
JSON representation

Tribool - Three-valued logic for Rust

• Host: GitHub
• URL: https://github.com/novacrazy/rust-tribool
• Owner: novacrazy
• License: mit
• Created: 2017-07-09T20:56:52.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2021-12-11T01:44:38.000Z (over 2 years ago)
• Last Synced: 2024-05-10T17:21:45.874Z (about 2 months ago)
• Topics: library, logic, mit-license, rust, tribool
• Language: Rust
• Homepage: https://docs.rs/tribool/
• Size: 16.6 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - tribool - three-valued logic. (Projects / Libraries)

README

        
tribool

=======

Three-valued logic in Rust. Partially inspired by Boost Tribool.

Use the `serde` feature to enable Serde (de)serialization support using `null` values as indeterminate states.

See [the Wikipedia page](https://en.wikipedia.org/wiki/Three-valued_logic) for more information.