1 search result for "author:"José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>""

Showing 1 - 1
  1. smtml
    Documentation
    A Front-end library for SMT solvers in OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> Léo Andrès <contact@ndrs.fr> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.3.1
    MIT
    Used by 1 other packages
    06 Nov 2024