#debugging #constraints #engine #experimental #checking

bin+lib essential-debugger

An experimental constraint debugger for the Essential constraint checking engine

3 releases (breaking)

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

#57 in #checking

Download history

193 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

~15–28MB
~354K SLoC