gringo-4.5.4_3.txz


Advertisement

Description

gringo - Grounding algorithm based on semi-naive database evaluation

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename gringo-4.5.4_3.txz
Package name gringo
Package version 4.5.4
Package release 3
Package architecture amd64
Package type txz
Category devel math
Homepage https://potassco.org/
License GPLv3
Maintainer vsevolod@FreeBSD.org
Download size 806.02 KB
Installed size 3.90 MB
Current answer set solvers work on variable-free programs. Hence, a grounder is
needed that, given an input program with first-order variables, computes an
equivalent ground (variable-free) program. Gringo is such a grounder. Its
output can be processed further with clasp.
WWW: https://potassco.org/

Alternatives

Package Version Architecture Repository
gringo-4.5.4_3.txz 4.5.4 i386 FreeBSD Ports Latest
gringo-4.5.4_3.txz 4.5.4 i386 FreeBSD Ports Quarterly
gringo-4.5.4_3.txz 4.5.4 amd64 FreeBSD Ports Quarterly
gringo - - -

Requires

Name Value
python27 = 2.7.16_1

Download

Type URL
Mirror pkg.freebsd.org
Binary Package gringo-4.5.4_3.txz
Source Package math/gringo

Install Howto

Install gringo txz package:

# pkg install gringo

See Also

Package Description
gringotts-1.2.10_4.txz GTK application to securely store sensitive data
grip-3.10.2.txz GTK front-end to external cd rippers and audio encoders
grisbi-1.2.2.txz Personal accounting application
grive2-0.5.1.d_5.txz Open source client for Google Drive
groff-1.22.4_3.txz Software typesetting package
grok_exporter-0.2.3_2.txz Export Prometheus metrics from arbitrary unstructured log data
gromacs-2019.4.txz Compute molecular dynamics
gromit-20041213_8.txz GRaphics Over Miscellaneous Objects (Gromit)
gron-0.6.0_1.txz Transforms JSON into discrete assignments that are easier to grep
groonga-9.0.8.txz Open-source fulltext search engine and column store
groovy-2.4.17.txz Agile dynamic language for the JVM
groupoffice-6.4.43.txz Modular web application framework for office
growl-for-linux-0.8.5_5.txz Notification system compatible with Growl
grpc-1.22.0_1,1.txz HTTP/2-based RPC framework
grpcurl-0.1.0.txz Command-line tool that lets you interact with gRPC servers
Advertisement
Advertisement