Maintainer:
Suggested:
Category:
Suggested:
Variant:
Suggested:
File installed:
Port version:


Reset all filters
Results for "z3"
15 port(s) found

z3

Z3 Theorem Prover

Version: 4.12.6 | Maintained by: landonf | Categories: science math | Variants: debug, lto, gmp, native, profile, threads, polly, polly_late, polly_two_level_tiling, polly_vector, polly_parallel, universal

py-z3

Python bindings for the Z3 theorem prover

Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debug

py38-z3

Python 3.8 bindings for the Z3 theorem prover

Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debug

z3-java

Java bindings for the Z3 theorem prover

Version: 4.12.6 | Maintained by: landonf | Categories: science java math | Variants: debug, universal

py39-z3

Python 3.9 bindings for the Z3 theorem prover

Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debug

z3-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_two_level_tiling, polly_vector, polly_parallel, pgo, universal

py310-z3

Python 3.10 bindings for the Z3 theorem prover

Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debug

py311-z3

Python 3.11 bindings for the Z3 theorem prover

Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debug

py312-z3

Python 3.12 bindings for the Z3 theorem prover

Version: 4.12.6 | Maintained by: landonf | Categories: python | Variants: debug

libmusicbrainz3

libmusicbrainz (also known as mb_client or MusicBrainz Client Library)

Version: 3.0.3 | Maintained by: | Categories: devel audio | Variants: debug, universal

p5-net-z3950-zoom

Perl implementation of the ZOOM API

Version: 1.300.0 | Maintained by: | Categories: perl | Variants:

p5.28-net-z3950-zoom

Perl implementation of the ZOOM API

Version: 1.300.0 | Maintained by: | Categories: perl | Variants: universal

p5.30-net-z3950-zoom

Perl implementation of the ZOOM API

Version: 1.300.0 | Maintained by: | Categories: perl | Variants: universal

p5.32-net-z3950-zoom

Perl implementation of the ZOOM API

Version: 1.300.0 | Maintained by: | Categories: perl | Variants: universal

p5.34-net-z3950-zoom

Perl implementation of the ZOOM API

Version: 1.300.0 | Maintained by: | Categories: perl | Variants: universal
15 port(s) found


Quick Links:
MacPorts
Port Information was updated:
8 minutes ago
b9c34dea

Most recent build (in app's database) ran:
7 minutes ago

Latest stats submission was received:
15 minutes ago