Lib.rs

› Cryptography › Magic Beans
#debugging #constraint #experimental #checking #engine

bin+lib essential-debugger

An experimental constraint debugger for the Essential constraint checking engine

by essential-contributions. Owned by essentialcontributions.

3 releases (breaking)

0.2.0 Aug 21, 2024
0.1.0 Jul 8, 2024
0.0.0-release Jul 8, 2024

#32 in #constraint

Download history 4/week @ 2024-08-15 154/week @ 2024-08-22 25/week @ 2024-09-12 17/week @ 2024-09-19 14/week @ 2024-09-26 5/week @ 2024-10-03 20/week @ 2024-10-10 56/week @ 2024-10-17 7/week @ 2024-10-24 25/week @ 2024-10-31 13/week @ 2024-11-07 75/week @ 2024-11-14 1/week @ 2024-11-21

114 downloads per month
Used in essential-app-utils

Apache-2.0

50KB
1K SLoC

Essential Debugger

Crates.io Documentation license

A very experimental debugger for constraints written in Pint and compiled for the Essential constraint checking engine.

Dependencies

~15–26MB
~344K SLoC