9 breaking releases

new 0.9.0 Nov 5, 2024
0.7.0 Oct 29, 2024
0.2.0 Jul 24, 2024

#603 in Magic Beans

Download history 34/week @ 2024-07-15 211/week @ 2024-07-22 57/week @ 2024-07-29 15/week @ 2024-08-05 351/week @ 2024-08-12 118/week @ 2024-08-19 253/week @ 2024-08-26 97/week @ 2024-09-02 86/week @ 2024-09-09 124/week @ 2024-09-16 70/week @ 2024-09-23 267/week @ 2024-09-30 230/week @ 2024-10-07 714/week @ 2024-10-14 73/week @ 2024-10-21 470/week @ 2024-10-28

1,493 downloads per month
Used in 10 crates (4 directly)

Apache-2.0

350KB
7.5K SLoC

essential-check

Crates.io Documentation license Build Status

Core logic related to validating Essential state transitions.


lib.rs:

Core logic for validating Predicates, Solutions and SolutionData against associated predicates.

Typical usage is to first validate predicates and solutions independently in full prior to validating against one another with solution::check_predicates.

Predicate Validation

Solution Validation

Solution + Predicate Validation

Dependencies

~12–19MB
~235K SLoC