add reconstruction for the SMT solver veriT
Improved veriT reconstruction
Description
Description
Details
Details
- Provenance
mathias.fleury Authored on - Parents
- rISABELLE2c7f0ef8323a: NEWS;
- Branches
- Unknown
- Tags
add reconstruction for the SMT solver veriT
Description add reconstruction for the SMT solver veriT Improved veriT reconstruction
Details
Event TimelineMathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> committed rISABELLEb44e894796d5: add reconstruction for the SMT solver veriT.Oct 12 2020, 6:59 PM2020-10-12 18:59:44 (UTC+2) |