Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
clasp
64
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
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.14
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.15
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
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.16
community
clasp
3.3.7
(3.3.7-r0)
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.17
community
clasp
3.3.9
(3.3.9-r0)
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.18
community
clasp
3.3.9
(3.3.9-r1)
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
community
clasp
3.3.9
(3.3.9-r1)
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
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
Link(s):
Upstream homepage
redir
,
no IPv6
Apertis v2021
v2021/development
clasp
3.3.4
(3.3.4-2co1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
main
Link(s):
Upstream homepage
redir
,
no IPv6
Apertis v2022
v2022/development
clasp
3.3.5
(3.3.5-4apertis0)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
main
Link(s):
Upstream homepage
redir
,
no IPv6
Apertis v2023
v2023/development
clasp
3.3.5
(3.3.5-4apertis0)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Link(s):
Upstream homepage
redir
,
no IPv6
Apertis v2024 Development
v2024dev1/development
clasp
3.3.5
(3.3.5-4apertis0)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Link(s):
Upstream homepage
redir
,
no IPv6
Arch Linux 32 i686
community
clasp
3.3.9
(3.3.9-1.0)
Summary:
Answer set solver
License:
GPL3
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Arch Linux 32 pentium4
community
clasp
3.3.9
(3.3.9-1.0)
Summary:
Answer set solver
License:
GPL3
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Debian 10
buster/main
clasp
3.3.4
(3.3.4-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
,
no IPv6
Debian 11
bullseye/main
clasp
3.3.5
(3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
,
no IPv6
Debian 12
bookworm/main
clasp
3.3.5
(3.3.5-4.2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
,
no IPv6
Debian Unstable
sid/main
clasp
3.3.5
(3.3.5-4.2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
,
no IPv6
Debian Janitor - Releases
clasp
3.3.7
(3.3.7-1~jan+nur1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Link(s):
Package page
redir
,
no IPv6
Build log (raw)
dead
(see archive.org)
Package sources
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Deepin
main
clasp
3.3.4
(3.3.4-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Link(s):
Upstream homepage
redir
,
no IPv6
Devuan 3.0
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
Link(s):
Upstream homepage
redir
,
no IPv6
Devuan 4.0
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
Link(s):
Upstream homepage
redir
,
no IPv6
Devuan Unstable
unstable/main
clasp
3.3.5
(3.3.5-4.2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Upstream homepage
redir
,
no IPv6
DPorts
math/clasp
3.3.5
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
vsevolod@freebsd.org
Category:
math
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Build log
ok
,
no IPv6
Upstream homepage
redir
FreeBSD Ports
math/clasp
3.3.5
Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
vsevolod@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
redir
Gentoo overlay GURU
sci-mathematics/clasp
3.3.8
(3.3.8-r1)
Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
lssndrbarbieri@gmail.com
Category:
sci-mathematics
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
GNU Guix
clasp
3.3.9
Summary:
Answer set solver
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Kali Linux Rolling
main
clasp
3.3.5
(3.3.5-4.2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Upstream homepage
redir
,
no IPv6
LiGurOS stable
sci-mathematics/clasp
3.3.8
(3.3.8-r1)
Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
lssndrbarbieri@gmail.com
Category:
sci-mathematics
License:
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
LiGurOS develop
sci-mathematics/clasp
3.3.8
(3.3.8-r1)
Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
lssndrbarbieri@gmail.com
Category:
sci-mathematics
License:
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
MacPorts
clasp
3.3.6
Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
nomaintainer@macports.org
Category:
math
License:
MIT
Link(s):
Package page
ok
,
no IPv6
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Package issue tracker
ok
Package statistics
ok
,
no IPv6
Package build status
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 21.11
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
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
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
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
nixpkgs stable 22.05
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
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
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
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
nixpkgs stable 22.11
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
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
nixpkgs stable 23.05
clasp
2.4.2
Summary:
Develop Apps Script Projects locally
Maintainer:
nixpkgs@natsukium.com
License:
Apache-2.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 23.05
clasp
2.2.0
Summary:
A Common Lisp implementation based on LLVM with C++ integration
Maintainers:
7c6f434c@mail.ru
luke@snabb.co
danielnagy@posteo.de
galkowskikasper@gmail.com
hraban@0brg.net
License:
LGPL-2.1-or-later
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs unstable
clasp
2.4.2
Summary:
Develop Apps Script Projects locally
Maintainer:
nixpkgs@natsukium.com
License:
Apache-2.0
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs unstable
clasp
2.2.0
Summary:
A Common Lisp implementation based on LLVM with C++ integration
Maintainers:
7c6f434c@mail.ru
luke@snabb.co
danielnagy@posteo.de
galkowskikasper@gmail.com
hraban@0brg.net
License:
LGPL-2.1-or-later
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Pardus 21
main
clasp
3.3.5
(3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Upstream homepage
redir
,
no IPv6
Parrot
parrot-updates/main
clasp
3.3.5
(3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Upstream homepage
redir
,
no IPv6
Parrot
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
Link(s):
Upstream homepage
redir
,
no IPv6
PureOS Amber
clasp
3.3.4
(3.3.4-2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Upstream homepage
redir
,
no IPv6
PureOS landing
clasp
3.3.5
(3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Upstream homepage
redir
,
no IPv6
Raspbian Oldstable
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
Link(s):
Upstream homepage
redir
,
no IPv6
Raspbian Stable
main
clasp
3.3.5
(3.3.5-4)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Upstream homepage
redir
,
no IPv6
Raspbian Testing
main
clasp
3.3.5
(3.3.5-4.2)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
interpreters
Link(s):
Upstream homepage
redir
,
no IPv6
T2 SDE
clasp
3.3.7
Summary:
Answer set solver for normal logic programs
Maintainer:
t2@t2-project.org
Category:
extra/base
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Trisquel 10.0
nabia/main
clasp
3.3.4
(3.3.4-2build1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Link(s):
Package page
ok
Upstream homepage
redir
,
no IPv6
Trisquel 11.0
aramo/main
clasp
3.3.5
(3.3.5-4ubuntu1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Link(s):
Package page
ok
Upstream homepage
redir
,
no IPv6
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
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
,
no IPv6
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
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
,
no IPv6
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
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
,
no IPv6
Ubuntu 22.04
jammy/universe
clasp
3.3.5
(3.3.5-4ubuntu1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
,
no IPv6
Ubuntu 22.10
kinetic/universe
clasp
3.3.5
(3.3.5-4ubuntu1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
,
no IPv6
Ubuntu 23.04
lunar/universe
clasp
3.3.5
(3.3.5-4ubuntu1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
,
no IPv6
Ubuntu 23.10
mantic/universe
clasp
3.3.5
(3.3.5-4.2build1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tkren@kr.tuwien.ac.at
Category:
universe/interpreters
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
,
no IPv6