clingo 3.0.5
Allows you to solve logic programs by acting as a solver and grounder.
Allows you to solve logic programs by acting as a solver and grounder.
Software Specs
Publisher:............ University of Applied Sciences Potsdam
License:............... GPL
File size:.............. 794 KB
Downloads:.........
Release date:...... 27 Mar 2013
Last update:........ 10 Sep 2014
Publisher review for clingo 3.0.5:
Review by: University of Applied Sciences Potsdam
clingo is a compact application designed to combine the usage of both clasp and Gringo. It is an efficient combination between the solver and the grounder which uses the same input language as Gringo.
You can use this tool for solving logic programs by entering the desired parameters using the command line interface. It can also work as a simple solver by using the
Requirements:
Operating system:
Windows 8, Windows 7, Windows Vista, Windows XP, Windows 2000, Windows 98
clingo download tags:
logic program solver variable grounder answer set program grounder
Copyright information:
Based on 0 ratings. 0 user reviews.