Closed JakeSilverman closed 3 years ago
Logic for parsing integer CHCs and for reasoning about linear integer CHCs.
Logic for parsing integer CHCs and for reasoning about linear integer CHCs.