diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-04-21 16:20:37 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-04-21 16:20:37 +0200 |
| commit | f7ecc2f20d4cd8d777e6169675a4057148bf6ccb (patch) | |
| tree | 5f884134bd5f4ee56ea3102f005a0dde9860cf2a /src/lia | |
| parent | 9dbc62938011b07ae28795cdc7e2f8ddea01ef2a (diff) | |
| download | smtcoq-f7ecc2f20d4cd8d777e6169675a4057148bf6ccb.tar.gz smtcoq-f7ecc2f20d4cd8d777e6169675a4057148bf6ccb.zip | |
Solve a bound variable capture problem in the reification of quantified hypotheses
Diffstat (limited to 'src/lia')
0 files changed, 0 insertions, 0 deletions