Solidity, the Smart Contract Programming Language
Version: 0.8.19 | Maintained by: kaimingguo | Categories: lang | Variants: universal, debug, z3, cvc4Vampire Theorem Prover
Version: 4.9 | Maintained by: landonf | Categories: science math | Variants: polly, profile, z3, universal, debug, native