z3
| Название | Категория | Описание |
|---|---|---|
| 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 |
| Название | Категория | Описание |
|---|---|---|
| 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 |