Lib.rs

› Cryptography › Magic Beans
#debugging #constraint #checking #experimental #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

#35 in #constraint

21 downloads per month

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

~16–26MB
~349K SLoC