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

Showing 1 - 2
  1. cvc5
    Documentation
    OCaml bindings for the cvc5 SMT solver
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt>
    1.3.0
    MIT
    Used by 0 other packages
    26 Jun 2025
  2. smtml
    Documentation
    An SMT solver frontend for OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> redianthus <redopam@pm.me> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.15.0
    MIT
    Used by 0 other packages
    25 Nov 2025