Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
clasp
52
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
Links(s):
Upstream homepage
4
6
Package details
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
Links(s):
Upstream homepage
4
6
Package details
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
Links(s):
Upstream homepage
4
6
Package details
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
Links(s):
Upstream homepage
4
6
Package details
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
Links(s):
Upstream homepage
4
6
Package details
Alpine Linux 3.13
community
clasp
3.3.5 (3.3.5-r1)
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Links(s):
Upstream homepage
4
6
Package details
Alpine Linux Edge
community
clasp
3.3.5 (3.3.5-r1)
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Links(s):
Upstream homepage
4
6
Package details
AOSC
clasp
3.3.5
Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
fallback-mnt-aosc@repology
Category:
devel
Links(s):
Package details
Package sources on GitHub
Apertis v2020
v2020/development
clasp
3.3.4 (3.3.4-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
main
Links(s):
Upstream homepage
4
6
Apertis v2021 Development
v2021dev3/development
clasp
3.3.4 (3.3.4-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
main
Links(s):
Upstream homepage
4
6
Arch
community
clasp
3.3.5 (3.3.5-2)
Summary:
Answer set solver
License:
GPL3
Links(s):
Upstream homepage
4
6
Package details on www.archlinux.org
Git repository
PKGBUILD
Package information (x86_64)
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
Links(s):
Upstream homepage
4
6
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
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
Links(s):
Upstream homepage
4
6
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Debian Testing
testing/main
clasp
3.3.5 (3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Debian Unstable
main
clasp
3.3.5 (3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
Package details on packages.debian.org
Package on Debian Sources
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Deepin
main
clasp
3.3.4 (3.3.4-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
Devuan 4.0 (Chimaera)
chimaera/main
clasp
3.3.5 (3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
Devuan Unstable
unstable/main
clasp
3.3.5 (3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
DPorts
math/clasp
3.3.5
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
vsevolod@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
FreeBSD Ports
math/clasp
3.3.5
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
vsevolod@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Hyperbola
community
clasp
3.2.1 (3.2.1-1)
Summary:
Answer set solver
License:
GPL3
Links(s):
Upstream homepage
4
6
Package search on hyperbola.info.nu
Kali Linux Rolling
main
clasp
3.3.5 (3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
Git repository
MacPorts
clasp
3.3.5
Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
nomaintainer@macports.org
Category:
math
License:
MIT
Links(s):
Upstream homepage
4
6
Port page on MacPorts.org
Port directory in GitHub repository
Manjaro Stable
community
clasp
3.3.5 (3.3.5-2)
Summary:
Answer set solver
License:
GPL3
Links(s):
Upstream homepage
4
6
Manjaro Testing
community
clasp
3.3.5 (3.3.5-2)
Summary:
Answer set solver
License:
GPL3
Links(s):
Upstream homepage
4
6
Manjaro Unstable
community
clasp
3.3.5 (3.3.5-2)
Summary:
Answer set solver
License:
GPL3
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
Package source (release branch)
Package source (master branch, imprecise link)
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
Links(s):
Upstream homepage
4
6
Package source (release branch)
Package source (master branch, imprecise link)
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
Links(s):
Upstream homepage
4
6
Package source
nixpkgs unstable
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
Links(s):
Upstream homepage
4
6
Package source
Parabola
community
clasp
3.3.5 (3.3.5-2)
Summary:
Answer set solver
License:
GPL3
Links(s):
Upstream homepage
4
6
Package search on parabola.nu
Pardus 17
main
clasp
3.2.1 (3.2.1-3)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
Pardus 19
main
clasp
3.3.4 (3.3.4-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
Parrot
main
clasp
3.3.5 (3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
PureOS Amber
clasp
3.3.4 (3.3.4-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
misc
Links(s):
Upstream homepage
4
6
PureOS landing
clasp
3.3.5 (3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
misc
Links(s):
Upstream homepage
4
6
Raspbian 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
Links(s):
Upstream homepage
4
6
Raspbian Stable
main
clasp
3.3.4 (3.3.4-2+rpi1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
Raspbian Testing
main
clasp
3.3.5 (3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Links(s):
Upstream homepage
4
6
Trisquel 6.0
toutatis/main
clasp
2.0.4 (2.0.4-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Trisquel 7.0
belenos/main
clasp
2.1.4 (2.1.4-1ubuntu1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Trisquel 8.0
flidas/main
clasp
3.1.4 (3.1.4-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Trisquel 9.0
etiona/main
clasp
3.3.3 (3.3.3-3)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Ubuntu 12.04
precise/universe
clasp
2.0.4 (2.0.4-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Ubuntu 14.04
trusty/universe
clasp
2.1.4 (2.1.4-1ubuntu1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Ubuntu 16.04
xenial/universe
clasp
3.1.4 (3.1.4-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Ubuntu 18.04
bionic/universe
clasp
3.3.3 (3.3.3-3)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Ubuntu 20.04
focal/universe
clasp
3.3.4 (3.3.4-2build1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Ubuntu 20.10
groovy/universe
clasp
3.3.5 (3.3.5-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Links(s):
Upstream homepage
4
6
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad