clasp-3.3.2-1-x86_64.pkg.tar.xz


Advertisement

Description

clasp - Answer set solver

Distribution: Arch Linux
Repository: Arch Linux Community x86_64
Package name: clasp
Package version: 3.3.2
Package release: 1
Package architecture: x86_64
Package type: xz
Installed size: 2.01 MB
Download size: 661.86 KB
Official Mirror: ftp5.gwdg.de
Answer set solver. Packager: Alexander Rødseth <rodseth@gmail.com>. License: GPL3

Alternatives

Requires

Conflicts

  • clingo

    Download

    Source package: unknown

    Install Howto

    1. Enable the community repository on /etc/pacman.conf:
      [community]
      Include = /etc/pacman.d/mirrorlist
      
    2. Install clasp xz package:
      # pacman -Sy clasp

    Files

    • /usr/
    • /usr/bin/clasp
    • /usr/bin/lpconvert
    Advertisement
    Advertisement