9 breaking releases

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

#944 in Magic Beans

Download history 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 463/week @ 2024-11-04 128/week @ 2024-11-11

1,221 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
~237K SLoC