» Ubuntu » Paquets » questing (25.10) » science » drat-trim-examples
plucky  ] [  questing  ] [  resolute  ]
[ Paquet source : drat-trim  ]

Paquet : drat-trim-examples (0.0~git20240428.effa1dc-2) [universe]

Liens pour drat-trim-examples

Screenshot

Ressources Ubuntu :

Télécharger le paquet source drat-trim :

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Science Maintainers
  • Shengqi Chen

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

DART-trim satisfiability proof checker (example files)

Autres paquets associés à drat-trim-examples

  • dépendances
  • recommandations
  • suggestions
  • enhances
  • rec: drat-trim
    DART-trim satisfiability proof checker (binary utils)
  • sug: bzip2
    high-quality block-sorting file compressor - utilities

Télécharger drat-trim-examples

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 7 069,4 ko7 196,0 ko [liste des fichiers]