aspcud packages - Repology

54 package(s) known

Alpine Linux 3.8
^community

aspcud

1.9.1 (1.9.1-r0)

Summary:
Package dependency solver
Maintainer:
- anil@recoil.org
License:
- LGPL-3.0
Package-related links:
- Package details
Homepage:
- http://potassco.sourceforge.net/⁴⁶

Alpine Linux 3.8
^community

aspcud-doc

1.9.1 (1.9.1-r0)

Summary:
Package dependency solver (documentation)
Maintainer:
- anil@recoil.org
License:
- LGPL-3.0
Package-related links:
- Package details
Homepage:
- http://potassco.sourceforge.net/⁴⁶

Alpine Linux 3.9
^community

aspcud

1.9.4 (1.9.4-r0)

Summary:
Package dependency solver
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

Alpine Linux 3.9
^community

aspcud-doc

1.9.4 (1.9.4-r0)

Summary:
Package dependency solver (documentation)
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

Alpine Linux 3.10
^community

aspcud

1.9.4 (1.9.4-r1)

Summary:
Package dependency solver
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

Alpine Linux 3.10
^community

aspcud-doc

1.9.4 (1.9.4-r1)

Summary:
Package dependency solver (documentation)
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

Alpine Linux 3.11
^community

aspcud

1.9.4 (1.9.4-r1)

Summary:
Package dependency solver
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

Alpine Linux 3.11
^community

aspcud-doc

1.9.4 (1.9.4-r1)

Summary:
Package dependency solver (documentation)
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

Alpine Linux 3.12
^community

aspcud

1.9.4 (1.9.4-r3)

Summary:
Package dependency solver
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

Alpine Linux 3.12
^community

aspcud-doc

1.9.4 (1.9.4-r3)

Summary:
Package dependency solver (documentation)
Maintainer:
- anil@recoil.org
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

Alpine Linux Edge
^community

aspcud

1.9.4 (1.9.4-r7)

Summary:
Package dependency solver
Maintainer:
- fallback-mnt-alpine@repology
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

Alpine Linux Edge
^community

aspcud-doc

1.9.4 (1.9.4-r7)

Summary:
Package dependency solver (documentation)
Maintainer:
- fallback-mnt-alpine@repology
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/aspcud/⁴⁶

AOSC

aspcud

1.9.4 (1.9.4-2)

Summary:
CUDF solver based on Answer Set Programming
Maintainer:
- fallback-mnt-aosc@repology
Category:
- libs
Package-related links:
- Package details
- Package sources on GitHub

Apertis v2020
^{v2020/development}

aspcud

1.9.4 (1:1.9.4-2)

Maintainer:
- treinen@debian.org
Category:
- main
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Apertis v2021 Development
^{v2021dev3/development}

aspcud

1.9.4 (1:1.9.4-2)

Maintainer:
- treinen@debian.org
Category:
- main
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

AUR

aspcud

1.9.4 (1.9.4-4)

Summary:
Solver for package dependencies
Maintainer:
- kendfinger@aur
License:
- GPL3
Package-related links:
Homepage:
- https://potassco.org/aspcud⁴⁶

AUR

aspcud-svn

r8385 (r8385-1)

Summary:
Solver for package dependencies
Maintainer:
- fallback-mnt-aur@repology
License:
- GPL3
Package-related links:
Homepage:
- http://potassco.sourceforge.net/⁴⁶

Debian Oldstable
^{oldstable/main}

aspcud

1.9.1 (1:1.9.1-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Package-related links:
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Debian Stable
^stable/main

aspcud

1.9.4 (1:1.9.4-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Package-related links:
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Debian Testing
^testing/main

aspcud

1.9.4 (1:1.9.4-3)

Maintainer:
- treinen@debian.org
Category:
- admin
Package-related links:
Homepage:
- https://potassco.org/aspcud/⁴⁶

Debian Unstable
^main

aspcud

1.9.4 (1:1.9.4-3)

Maintainer:
- treinen@debian.org
Category:
- admin
Package-related links:
Homepage:
- https://potassco.org/aspcud/⁴⁶

Deepin
^main

aspcud

1.9.4 (1:1.9.4-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Devuan 1.0 (Jessie)
^jessie/main

aspcud

1.9.0 (1:1.9.0-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Devuan 2.0 (ASCII)
^ascii/main

aspcud

1.9.1 (1:1.9.1-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Devuan 3.0 (Beowulf)
^beowulf/main

aspcud

1.9.4 (1:1.9.4-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Devuan 4.0 (Chimaera)
^{chimaera/main}

aspcud

1.9.4 (1:1.9.4-3)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- https://potassco.org/aspcud/⁴⁶

Devuan Unstable
^{unstable/main}

aspcud

1.9.4 (1:1.9.4-3)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- https://potassco.org/aspcud/⁴⁶

DPorts

math/aspcud

1.9.4 (1.9.4_7)

Summary:
Advanced solver for package dependencies
Maintainer:
- vsevolod@freebsd.org
Category:
- math
Package-related links:
Homepage:
- https://potassco.org/aspcud/⁴⁶

FreeBSD Ports

math/aspcud

1.9.4 (1.9.4_7)

Summary:
Advanced solver for package dependencies
Maintainer:
- vsevolod@freebsd.org
Category:
- math
Package-related links:
Homepage:
- https://potassco.org/aspcud/⁴⁶

Homebrew

aspcud

1.9.5

Summary:
Package dependency solver
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- https://potassco.org/aspcud/⁴⁶

Hyperbola
^community

aspcud

1.9.1 (1.9.1-1)

Summary:
Solver for package dependencies
License:
- GPL3
Package-related links:
- Package search on hyperbola.info.nu
Homepage:
- http://potassco.sourceforge.net/⁴⁶

Kali Linux Rolling
^main

aspcud

1.9.4 (1:1.9.4-3)

Maintainer:
- treinen@debian.org
Category:
- admin
Package-related links:
- Git repository
Homepage:
- https://potassco.org/aspcud/⁴⁶

Linuxbrew

aspcud

1.9.5

Summary:
Package dependency solver
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- https://potassco.org/aspcud/⁴⁶

MacPorts

aspcud

1.9.1

Summary:
CUDF package dependency solver
Maintainer:
- nomaintainer@macports.org
Category:
- devel
License:
- GPL-3
Package-related links:
- Port page on MacPorts.org
- Port directory in GitHub repository
Homepage:
- http://potassco.sourceforge.net/⁴⁶

nixpkgs stable

aspcud

1.9.4

Summary:
Solver for package problems in CUDF format using ASP
Maintainer:
- hakuch@gmail.com
License:
- GPL-3.0-or-later
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- https://potassco.org/aspcud/⁴⁶

nixpkgs unstable

aspcud

1.9.4

Summary:
Solver for package problems in CUDF format using ASP
Maintainer:
- hakuch@gmail.com
License:
- GPL-3.0-or-later
Package-related links:
- Package source
Homepage:
- https://potassco.org/aspcud/⁴⁶

Pardus 17
^main

aspcud

1.9.1 (1:1.9.1-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Pardus 19
^main

aspcud

1.9.4 (1:1.9.4-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Parrot
^main

aspcud

1.9.4 (1:1.9.4-3)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- https://potassco.org/aspcud/⁴⁶

PureOS Amber

aspcud

1.9.4 (1:1.9.4-2)

Maintainer:
- treinen@debian.org
Category:
- misc
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

PureOS landing

aspcud

1.9.4 (1:1.9.4-3)

Maintainer:
- treinen@debian.org
Category:
- misc
Homepage:
- https://potassco.org/aspcud/⁴⁶

Raspbian Oldstable
^main

aspcud

1.9.1 (1:1.9.1-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Raspbian Stable
^main

aspcud

1.9.4 (1:1.9.4-2)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Raspbian Testing
^main

aspcud

1.9.4 (1:1.9.4-3)

Maintainer:
- treinen@debian.org
Category:
- admin
Homepage:
- https://potassco.org/aspcud/⁴⁶

Trisquel 6.0
^{toutatis/main}

aspcud

2011.03.17 (2011.03.17.dfsg-3)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Trisquel 7.0
^belenos/main

aspcud

1.8.0 (1:1.8.0-2)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Trisquel 8.0
^flidas/main

aspcud

1.9.1 (1:1.9.1-2)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Trisquel 9.0
^etiona/main

aspcud

1.9.4 (1:1.9.4-1)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Ubuntu 12.04
^{precise/universe}

aspcud

2011.03.17 (2011.03.17.dfsg-3)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Package-related links:
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Ubuntu 14.04
^{trusty/universe}

aspcud

1.8.0 (1:1.8.0-2)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Package-related links:
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Ubuntu 16.04
^{xenial/universe}

aspcud

1.9.1 (1:1.9.1-2)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Package-related links:
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Ubuntu 18.04
^{bionic/universe}

aspcud

1.9.4 (1:1.9.4-1)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Package-related links:
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Ubuntu 20.04
^{focal/universe}

aspcud

1.9.4 (1:1.9.4-2build1)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Package-related links:
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Ubuntu 20.10
^{groovy/universe}

aspcud

1.9.4 (1:1.9.4-2build1)

Maintainer:
- treinen@debian.org
Category:
- universe/admin
Package-related links:
Homepage:
- http://www.cs.uni-potsdam.de/wv/aspcud/^46(archive)

Packages for aspcud

aspcud

aspcud-doc

aspcud

aspcud-doc

aspcud

aspcud-doc

aspcud

aspcud-doc

aspcud

aspcud-doc

aspcud

aspcud-doc

aspcud

aspcud

aspcud

aspcud

aspcud-svn

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

math/aspcud

math/aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud

aspcud