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: debug, z3, cvc4, universal

vampire

Vampire Theorem Prover

Version: 2024-04-12 | Maintained by: landonf | Categories: science math | Variants: debug, native, polly, profile, z3, universal

2 port(s) found