clasp packages - Repology

49 package(s) known

Alpine Linux 3.8
^community

clasp

3.1.3 (3.1.3-r1)

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- anil@recoil.org
License:
- LGPL-3.0
Package-related links:
- Package details
Homepage:
- https://potassco.org/⁴⁶

Alpine Linux 3.9
^community

clasp

3.1.3 (3.1.3-r1)

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- anil@recoil.org
License:
- LGPL-3.0
Package-related links:
- Package details
Homepage:
- https://potassco.org/⁴⁶

Alpine Linux 3.10
^community

clasp

3.1.3 (3.1.3-r1)

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- anil@recoil.org
License:
- LGPL-3.0
Package-related links:
- Package details
Homepage:
- https://potassco.org/⁴⁶

Alpine Linux 3.11
^community

clasp

3.1.3 (3.1.3-r1)

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- anil@recoil.org
License:
- LGPL-3.0
Package-related links:
- Package details
Homepage:
- https://potassco.org/⁴⁶

Alpine Linux 3.12
^community

clasp

3.3.5 (3.3.5-r0)

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/⁴⁶

Alpine Linux Edge
^community

clasp

3.3.5 (3.3.5-r0)

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/⁴⁶

AOSC

clasp

3.3.5

Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
- fallback-mnt-aosc@repology
Category:
- devel
Package-related links:
- Package details
- Package sources on GitHub

Arch
^community

clasp

3.3.5 (3.3.5-2)

Summary:
Answer set solver
License:
- GPL3
Package-related links:
Homepage:
- https://potassco.org/⁴⁶

Debian Oldstable
^{oldstable/main}

clasp

3.2.1 (3.2.1-3)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Package-related links:
Homepage:
- https://www.potassco.org/clasp/⁴⁶

Debian Stable
^stable/main

clasp

3.3.4 (3.3.4-2)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Package-related links:
Homepage:
- https://www.potassco.org/clasp/⁴⁶

Debian Testing
^testing/main

clasp

3.3.5 (3.3.5-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Package-related links:
Homepage:
- https://www.potassco.org/clasp/⁴⁶

Debian Unstable
^main

clasp

3.3.5 (3.3.5-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Package-related links:
Homepage:
- https://www.potassco.org/clasp/⁴⁶

Deepin
^main

clasp

3.3.3 (3.3.3-3)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Homepage:
- https://www.potassco.org/clasp/⁴⁶

Devuan 1.0 (Jessie)
^jessie/main

clasp

3.1.0 (3.1.0-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Homepage:
- http://www.cs.uni-potsdam.de/clasp/⁴⁶

Devuan 2.0 (ASCII)
^ascii/main

clasp

3.2.1 (3.2.1-3)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Homepage:
- https://www.potassco.org/clasp/⁴⁶

Devuan 3.0 (Beowulf)
^beowulf/main

clasp

3.3.4 (3.3.4-2)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Homepage:
- https://www.potassco.org/clasp/⁴⁶

Devuan 4.0 (Chimaera)
^{chimaera/main}

clasp

3.3.5 (3.3.5-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Homepage:
- https://www.potassco.org/clasp/⁴⁶

Devuan Unstable
^{unstable/main}

clasp

3.3.5 (3.3.5-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Homepage:
- https://www.potassco.org/clasp/⁴⁶

DPorts

math/clasp

3.3.5

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- vsevolod@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://potassco.sourceforge.net/⁴⁶

FreeBSD Ports

math/clasp

3.3.5

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- vsevolod@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://potassco.sourceforge.net/⁴⁶

Hyperbola
^community

clasp

3.2.1 (3.2.1-1)

Summary:
Answer set solver
License:
- GPL3
Package-related links:
- Package search on hyperbola.info.nu
Homepage:
- https://potassco.org/⁴⁶

Kali Linux Rolling
^main

clasp

3.3.5 (3.3.5-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- interpreters
Package-related links:
- Git repository
Homepage:
- https://www.potassco.org/clasp/⁴⁶

MacPorts

clasp

3.3.4

Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
- nomaintainer@macports.org
Category:
- math
License:
- MIT
Package-related links:
- Port page on MacPorts.org
- Port directory in GitHub repository
Homepage:
- https://potassco.org/clasp/⁴⁶

Manjaro Stable
^community

clasp

3.3.5 (3.3.5-2)

Summary:
Answer set solver
License:
- GPL3
Homepage:
- https://potassco.org/⁴⁶

Manjaro Testing
^community

clasp

3.3.5 (3.3.5-2)

Summary:
Answer set solver
License:
- GPL3
Homepage:
- https://potassco.org/⁴⁶

Manjaro Unstable
^community

clasp

3.3.5 (3.3.5-2)

Summary:
Answer set solver
License:
- GPL3
Homepage:
- https://potassco.org/⁴⁶

nixpkgs stable

clasp

3.1.4

Summary:
Answer set solver for (extended) normal and disjunctive logic programs
Maintainer:
- hakuch@gmail.com
License:
- GPL-2.0-or-later
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://potassco.sourceforge.net/⁴⁶

nixpkgs stable

clasp

0.8.99.20181128

Summary:
A Common Lisp implementation based on LLVM with C++ integration
Maintainer:
- 7c6f434c@mail.ru
License:
- LGPL-2.1-or-later
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- https://github.com/drmeister/clasp⁴⁶

nixpkgs unstable

clasp

3.1.4

Summary:
Answer set solver for (extended) normal and disjunctive logic programs
Maintainer:
- hakuch@gmail.com
License:
- GPL-2.0-or-later
Package-related links:
- Package source
Homepage:
- http://potassco.sourceforge.net/⁴⁶