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


Reset all filters
2 port(s) found

solidity

Solidity, the Smart Contract Programming Language

Version: 0.8.19 | Maintained by: kaimingguo | Categories: lang | Variants: universal, debug, z3, cvc4

vampire

Vampire Theorem Prover

Version: 4.9 | Maintained by: landonf | Categories: science math | Variants: polly, profile, z3, universal, debug, native

2 port(s) found