Solidity, the Smart Contract Programming Language
Version: 0.8.19 | Maintained by: kaimingguo | Categories: lang | Variants: debug, z3, cvc4, universalVampire Theorem Prover
Version: 2024-04-12 | Maintained by: landonf | Categories: science math | Variants: debug, native, polly, profile, z3, universal