diff options
author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-01-28 14:51:28 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-28 14:51:28 -0600 |
commit | 2f4bae4b4ffe6e913925f3d8f2c857a01aeea3bd (patch) | |
tree | 09aa68a87615a64766aa4ce5240771cf9444b974 /src/smt/abstract_values.h | |
parent | e234ff58f561ac97642df15c698962faa9d1e5e4 (diff) |
Remove regex header from cvc4cpp.cpp (#5826)
This PR replaces the heavy hammer std::regex_match for checking numbers with string operations
Diffstat (limited to 'src/smt/abstract_values.h')
0 files changed, 0 insertions, 0 deletions