3 search results for "author:"Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>""

Showing 1 - 3
  1. 0.0.4
    GPL-3.0-only
    Used by 0 other packages
    05 Mar 2024
  2. 0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    26 Apr 2024
  3. A Front-end library for SMT solvers in OCaml
    0.2.1
    GPL-3.0-only
    Used by 1 other packages
    29 Jun 2024