diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-10-27 16:40:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-27 23:40:31 +0000 |
| commit | 898290ddffe61d19588182cc01a8af39c9252156 (patch) | |
| tree | 4d9d9e3fd2178db9c4fce777a6b3c8f05899e2eb /src/theory/arith/soi_simplex.cpp | |
| parent | 5ea33ca829d257d408a242974b28bd6defafff6e (diff) | |
Add comments for arith type rules. (#7488)
Add comments for the arithmetic type rules.
Fixes cvc5/cvc5-projects#273.
Diffstat (limited to 'src/theory/arith/soi_simplex.cpp')
0 files changed, 0 insertions, 0 deletions