pub fn parse(claim: &str) -> Result<ConstraintProblem, String>Expand description
Generic constraint parser. Handles comparison operators, bounds, and simple numeric constraints.
pub fn parse(claim: &str) -> Result<ConstraintProblem, String>Generic constraint parser. Handles comparison operators, bounds, and simple numeric constraints.