Bas Spitters (Mar 02 2023 at 16:49): Bas Spitters (Mar 02 2023 at 16:49):I happened to spot this one on eprint, on SMT for finite fields using cvc5. I imagine it could be useful for smt-coq and related tools.
https://eprint.iacr.org/2023/091
Last updated: Apr 20 2024 at 12:02 UTC