1 search result for "author:"João Pereira <joaomhmpereira@tecnico.ulisboa.pt>""

Showing 1 - 1
  1. cvc5
    Documentation
    OCaml bindings for the cvc5 SMT solver
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt>
    1.2.0
    GPL-3.0-only
    Used by 0 other packages
    17 Sep 2024