3 search results for "author:"Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>""
Showing 1 - 3
-
Smt encoding libraryFilipe <filipe.s. @tecnico.ulisboa.pt>0.0.4GPL-3.0-onlyUsed by 0 other packages05 Mar 2024
-
owi
No documentation
OCaml toolchain to work with WebAssembly, including an interpreter0.2AGPL-3.0-or-laterUsed by 0 other packages26 Apr 2024 -
smtml
No documentation
A Front-end library for SMT solvers in OCamlJoão Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe <filipe.s. @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.4.1MITUsed by 1 other packages04 Dec 2024