| Fri, 16 Feb 2024 11:25:11 +0100 | wenzelm | tuned comments; | changeset | files |
| Fri, 16 Feb 2024 11:15:43 +0100 | wenzelm | more robust: always close, despite failure; | changeset | files |
| Fri, 16 Feb 2024 11:12:42 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 16 Feb 2024 10:51:49 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 16 Feb 2024 10:45:24 +0100 | wenzelm | tuned comments; | changeset | files |
| Fri, 16 Feb 2024 10:31:50 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 16 Feb 2024 09:24:45 +0100 | blanchet | Distinguish two versions of cvc5 -- one used for Sledgehammer, one for proof reconstruction in SMT. provided by Mathias Fleury | changeset | files |