Gringo

Name: Gringo
Works on: windows

Windows 7 and above

Developer: University of Applied Sciences Potsdam

Version: 4.2
Last Updated: 29 Mar 2017
Release: 20 Nov 2013
Category: Programming > Other Programming Files

Rate this software:
384 downloads

Comments

Download

Liked it? Tell others:

Gringo Tags

answer set solver remove variable variable grounder answer test calculate variable grounder

Gringo Details

Works on: Windows 10 | Windows 8.1 | Windows 8 | Windows 7 | Windows 2012
File Format: zip

SHA1 Hash 32bit version: 905f56d32eb070ee31f26e3dc2cfb5c639fc85d0
Size 32bit version: 757.71 KB

SHA1 Hash 64bit version: f3652ca223caefd83f69df3b4f5d38388f43aed0
Size 64bit version: 769.69 KB

Rating: 1.8 out of 5 based on 23 user ratings

Publisher Website: External Link
Downloads: 384
License: Free

Gringo is a free software by University of Applied Sciences Potsdam and works on Windows 10, Windows 8.1, Windows 8, Windows 7, Windows 2012.
You can download Gringo which is 757.71 KB in size and belongs to the software category Other Programming Files.
Gringo was released on 2013-11-20 and last updated on our database on 2017-03-29 and is currently at version 4.2.
We also have Gringo 64bit version which is 769.69 KB in size and will work on x64 computers.

Thank you for downloading from SoftPaz! Your download should start any moment now. It would be great if you could rate and share:

Rate this software:

Share in your network:

Gringo Description

Gringo is a compact application that can be used to calculate the ground-equivalent program by using a give s set of variables. The role of the application is to act as a grounder for the answer set solvers that work with variables.
If you need to use an answer set solvers and you need to remove the variables from a given program, this tool can be of help.