clasp packages - Repology

Versions Packages Information History Related Badges Report

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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}

math/clasp

3.3.5

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- vsevolod@freebsd.org
Category:
- math
Link(s):

math/clasp

3.3.5

Summary:
Answer set solver for (extended) normal logic programs
Maintainer:
- vsevolod@freebsd.org
Category:
- math
Link(s):

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):

clasp

3.3.9

Summary:
Answer set solver
Link(s):

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}

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):

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):

clasp

3.3.6

Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
- nomaintainer@macports.org
Category:
- math
License:
- MIT
Link(s):

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:
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:
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}

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}

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}

clasp

3.3.7

Summary:
Answer set solver for normal logic programs
Maintainer:
- t2@t2-project.org
Category:
- extra/base
License:
- MIT
Link(s):

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):

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):

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):

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):

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):

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):

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):

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):