diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 11:24:14 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 11:24:14 +0200 |
| commit | 35ef283a7a9fcc2a805f52711978c73a1386ef29 (patch) | |
| tree | 107a8008b6d1f0aa3878db1d03fe389c20c3a0a0 /src/smtlib2/smtlib2_solver.ml | |
| parent | c0a1b83a76f9cf204de434eca969948c89c44598 (diff) | |
| download | smtcoq-35ef283a7a9fcc2a805f52711978c73a1386ef29.tar.gz smtcoq-35ef283a7a9fcc2a805f52711978c73a1386ef29.zip | |
Update installation instructions
Diffstat (limited to 'src/smtlib2/smtlib2_solver.ml')
0 files changed, 0 insertions, 0 deletions