FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us

I am looking for an LTO tape library. Do you have one to spare?
Port details
gringo 4.2.1_1 math on this many watch lists=0 search for ports that depend on this port
Grounding algorithm based on semi-naive database evaluation
Maintained by: search for ports maintained by this maintainer
Port Added: 10 Jan 2014 14:31:38
Also Listed In: devel
License: GPLv3

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.

SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Build:
  1. devel/re2c
  2. devel/scons
  3. devel/bison
  4. lang/gcc48
  5. devel/binutils
Required To Run:
  1. lang/gcc48

This port is required by:

for Run * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

To install the port: cd /usr/ports/math/gringo/ && make install clean
To add the package: pkg install math/gringo

Configuration Options
     No options to configure

Master Sites:

Number of commits found: 2

Commit History - (may be incomplete: see SVNWeb link above for full details)
24 Jan 2014 15:44:33
Original commit files touched by this commit  4.2.1_1
vsevolod search for other commits by this committer
- Unbreak on FreeBSD < 10
- Disable lua support as it is terribly broken
- Add license
- Update portrevision accordingly
10 Jan 2014 14:31:27
Original commit files touched by this commit  4.2.1
vsevolod search for other commits by this committer
Add gringo - an advanced grounder to compute variable-free programs.

Number of commits found: 2

User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
How big is it?
The latest upgrade!

Enter Keywords:

Latest Vulnerabilities
dbusJul 03
mencoderJun 28
mplayerJun 28
lzo2Jun 26
phpmyadmin*Jun 24
gnupgJun 23
gnupg1Jun 23
samba36Jun 23
samba4Jun 23
samba41Jun 23
iodineJun 18
asteriskJun 17
asterisk11Jun 17
dbusJun 14
chromiumJun 10

7 vulnerabilities affecting 10 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Deleted ports
Sanity Test Failures

NEW Graphs (Javascript)

Calculated hourly:
Port count 24448
Broken 195
Deprecated 592
Ignore 518
Forbidden 2
Restricted 264
No CDROM 102
Vulnerable 26
Expired 4
Set to expire 579
Interactive 14
new 24 hours 4
new 48 hours8
new 7 days34
new fortnight53
new month95

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.