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


Advertisement

Description

clasp - Answer set solver

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename clasp-3.3.4-1-x86_64.pkg.tar.xz
Package name clasp
Package version 3.3.4
Package release 1
Package architecture x86_64
Package type xz
Homepage https://potassco.org/
License GPL3
Maintainer Alexander Rødseth <rodseth@gmail.com>
Download size 645.75 KB
Installed size 1.94 MB

Alternatives

Package Version Architecture Repository
clasp - - -

Conflicts

Name Value
clingo -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package clasp-3.3.4-1-x86_64.pkg.tar.xz
Source Package clasp

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

Path
/usr/
/usr/bin/clasp
/usr/bin/lpconvert

See Also

Package Description
classpath-0.99-4-x86_64.pkg.tar.xz A free replacement for Sun's proprietary core Java class libraries
cldr-emoji-annotation-35.12.14971.0-1-any.pkg.tar.xz Emoji annotation files in CLDR
clementine-1.3.1-22-x86_64.pkg.tar.xz A modern music player and library organizer
clinfo-2.2.18.04.06-1-x86_64.pkg.tar.xz A simple OpenCL application that enumerates all available platform and device properties
clipgrab-3.8.2-1-x86_64.pkg.tar.xz A video downloader and converter for YouTube, Veoh, DailyMotion, MyVideo,
clipmenu-5.6.0-1-any.pkg.tar.xz Clipboard management using dmenu
clipnotify-1.0.2-1-x86_64.pkg.tar.xz Polling-free clipboard notifier
cliquer-1.21-3-x86_64.pkg.tar.xz A set of C routines for finding cliques in an arbitrary weighted graph
cloc-1.80-1-any.pkg.tar.xz Count lines of code
clojure-1.10.0-3-any.pkg.tar.xz A dialect of Lisp for the JVM
clonezilla-3.27.16-1-any.pkg.tar.xz ncurses partition and disk imaging/cloning program
cloudprint-cups-1:20160502.r16.g1f27903-1-any.pkg.tar.xz Google Cloud Print driver for CUPS, allows printing to printers hosted on GCP
clthreads-2.4.2-3-x86_64.pkg.tar.xz C++ wrapper library around the POSIX threads API
clusterssh-4.13.2_02-1-any.pkg.tar.xz Control multiple open terminal windows with connections to specified hosts and an administration console
clxclient-3.9.2-2-x86_64.pkg.tar.xz C++ wrapper library around the X Window System API
Advertisement
Advertisement