z3
| Name | Category | Description |
|---|---|---|
| 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 |
| Name | Category | Description |
|---|---|---|
| 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 |
