clasp packages - Repology

70 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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

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
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

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
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

Alpine Linux Edge
^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
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

AOSC

clasp

3.3.5 (3.3.5-1)

Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
- fallback-mnt-aosc@repology
Category:
- devel
Links(s):
- Package page⁴⁶
- Package sources⁴⁶

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⁴⁶

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
Links(s):
- Upstream homepage⁴⁶

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
Links(s):
- Upstream homepage⁴⁶

Apertis v2023 Development
^{v2023dev1/development}

clasp

3.3.5 (3.3.5-4apertis0)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Category:
- main
Links(s):
- Upstream homepage⁴⁶

Arch
^community

clasp

3.3.7 (3.3.7-2)

Summary:
Answer set solver
License:
- GPL3
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Arch Linux 32 i686
^community

clasp

3.3.7 (3.3.7-2.0)

Summary:
Answer set solver
License:
- GPL3
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Arch Linux 32 pentium4
^community

clasp

3.3.7 (3.3.7-2.0)

Summary:
Answer set solver
License:
- GPL3
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Arch Linux ARM aarch64
^community

clasp

3.3.7 (3.3.7-2)

Summary:
Answer set solver
License:
- GPL3
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶

Arch Linux ARM armv7h
^community

clasp

3.3.7 (3.3.7-2)

Summary:
Answer set solver
License:
- GPL3
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶

Debian 8
^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⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package statistics⁴⁶

Debian 9
^stretch/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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package statistics⁴⁶

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
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶
- Package statistics⁴⁶

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
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶
- Package statistics⁴⁶

Debian 12
^{bookworm/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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status
- Package statistics⁴⁶

Debian Unstable
^sid/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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status
- Package statistics⁴⁶

Deepin
^main

clasp

3.3.4 (3.3.4-2)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- tkren@kr.tuwien.ac.at
Links(s):
- Upstream homepage⁴⁶

Devuan 1.0
^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⁴⁶

Devuan 2.0
^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⁴⁶

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
Links(s):
- Upstream homepage⁴⁶

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
Links(s):
- Upstream homepage⁴⁶

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⁴⁶

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⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log⁴⁶

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⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶

Gentoo overlay GURU

sci-mathematics/clasp

3.3.8

Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
- lssndrbarbieri@gmail.com
Category:
- sci-mathematics
License:
- MIT
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

GNU Guix

clasp

3.3.6

Summary:
Answer set solver
Links(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶

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⁴⁶

LiGurOS develop

sci-mathematics/clasp

3.3.8

Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
- lssndrbarbieri@gmail.com
Category:
- sci-mathematics
License:
- MIT
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

MacPorts

clasp

3.3.6

Summary:
A conflict-driven nogood learning answer set solver
Maintainer:
- nomaintainer@macports.org
Category:
- math
License:
- MIT
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶
- Package statistics⁴⁶
- Package build status⁴⁶

Manjaro Stable
^community

clasp

3.3.7 (3.3.7-2)

Summary:
Answer set solver
License:
- GPL3
Links(s):
- Upstream homepage⁴⁶

Manjaro Testing
^community

clasp

3.3.7 (3.3.7-2)

Summary:
Answer set solver
License:
- GPL3
Links(s):
- Upstream homepage⁴⁶

Manjaro Unstable
^community

clasp

3.3.7 (3.3.7-2)

Summary:
Answer set solver
License:
- GPL3
Links(s):
- Upstream homepage⁴⁶

nixpkgs stable 21.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
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.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
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

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
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

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
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

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⁴⁶
- Package recipe⁴⁶