clasp

Paket-Details

Name clasp
Version 3.3.5-1
Beschreibung Answer set solver
URL https://potassco.org/
Lizenzen GPL3
Repositorium community
Architektur x86_64
Gruppen
Packer Alexander Rødseth
Erstellt am 29.08.2019 13:35
Veröffentlicht am 29.08.2019 13:37
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket clasp-3.3.5-1-x86_64.pkg.tar.xz
PGP-Signatur clasp-3.3.5-1-x86_64.pkg.tar.xz.sig
Paket-Größe 662,97 KByte
Installations-Größe 2,02 MByte

Abhängigkeiten

kollidiert mit

  • clingo

Bauen von

Dateien