fix: Sign error in greater_than constraint#334

Merged

ImkoMarijnissen merged 2 commits intoConSol-Lab:mainfrom

geraschenko:anton/greater_than

Dec 16, 2025

Commits on Dec 14, 2025

Fix sign error in greater_than helper
geraschenko
committed

Commits on Dec 15, 2025

Move test to inequality.rs. Add the same test for less_than.
geraschenko
committed