Maintainer:
Category:
Variant:
File installed:
Port version:
64 port(s) found
64 port(s) found
Page 4 of 4 | Showing port(s) 61 to 64
veryfasttree
Efficient phylogenetic tree inference for massive taxonomic datasets
Version: 4.0.4 | Maintained by: cesarpomar | Categories: science | Variants: debug, native, universalvtk-m
VTK-m is a toolkit of scientific visualization algorithms for emerging processor architectures
Version: 1.7.1 | Maintained by: reneeotten | Categories: devel graphics science | Variants: debug, native, openmp, tbb, universalz3
Z3 Theorem Prover
Version: 4.13.4 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, threads, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, universalz3-fstar
F*-qualified release of the Z3 Theorem Prover
Version: 4.8.5 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, polly, polly_late, polly_parallel, polly_two_level_tiling, polly_vector, pgo, universal64 port(s) found
Page 4 of 4 | Showing port(s) 61 to 64