Function raptor::solver::solve

pub fn solve(
    constraints: &[Expression<Constant>], 
    value: &Expression<Constant>
) -> Result<Option<Constant>>

Solve for a possible solution to the given value with the given constraints.