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/congruence_manager.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/congruence_manager.cpp')
0 files changed, 0 insertions, 0 deletions