statistics
| Название | Категория | Описание |
|---|---|---|
| cvc4 | sci-mathematics | Automatic theorem prover for satisfiability modulo theories (SMT) problems |
| ptpd | net-misc | Precision Time Protocol daemon |
| Название | Категория | Описание |
|---|---|---|
| cvc4 | sci-mathematics | Automatic theorem prover for satisfiability modulo theories (SMT) problems |
| ptpd | net-misc | Precision Time Protocol daemon |