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
kdelibs3Jul 31
kdelibs4Jul 31
torJul 30
torJul 30
tor-develJul 30
i2pJul 28
i2pJul 28
i2pJul 28
bugzilla44Jul 25
apache22Jul 24
apache22-event-mpmJul 24
apache22-itk-mpmJul 24
apache22-peruser-mpmJul 24
apache22-worker-mpmJul 24
firefoxJul 23

11 vulnerabilities affecting 36 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 24401
Broken 180
Deprecated 811
Ignore 515
Forbidden 16
Restricted 263
No CDROM 101
Vulnerable 27
Expired 5
Set to expire 798
Interactive 13
new 24 hours 6
new 48 hours9
new 7 days23
new fortnight38
new month112

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