z3

Name Category Description
llvm sys-devel Low Level Virtual Machine
ropper dev-util Use to display information about binary files in different file formats
vampire sci-mathematics The Vampire Prover, theorem prover for first-order logic

Thank you!