Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM)

 (github.com)

1 points | by marcosjunior 7 hours ago ago

1 comments