1 unstable release
0.1.0 | Feb 7, 2024 |
---|
#20 in #temporal
21 downloads per month
Used in 2 crates
105KB
2K
SLoC
Banquo Core
This crate contains the core types and implementations used by the banquo temporal logic monitoring library. This library is not intended to be used directly, instead you should install the banquo crate instead.
Structs
Trace
Predicate
Not
And
Or
Implies
Next
Always
Eventually
Until
Traits
Formula
Top
Bottom
Meet
Join
Dependencies
~0.4–1MB
~21K SLoC