Human-readable constraint display#105

Draft

numtel wants to merge 8 commits intoerhant:mainfrom

numtel:improve-witnesstester-1

Commits on Dec 6, 2024

Use real p, not some other unicode look-a-like
numtel
committed

Commits on Dec 8, 2024

Add cli, core function for constraint printing
numtel
committed