Skip to content

stp mayhem Public Latest

Simple Theorem Prover, an efficient SMT solver for bitvectors

Install from the command line
Learn more about packages
$ docker pull ghcr.io/ennamarie19/stp:mayhem

Recent tagged image versions

  • mayhem
    Published over 2 years ago · Digest
    sha256:a4fac6af774e72d8809bd4f0f9066413caee85b15e77829d23845218fa4418ff
    155 Version downloads
View all tagged versions

Loading

Details

Last published

over 2 years ago

Total downloads

200