Filewatcher File Search File Search
Catalog
Content Search
» » » »

gringo_3.0.4.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:gringo_3.0.4.orig.tar.gz

/gringo-3.0.4-source/README

Gringo - A bottom up grounder for logic programs
------------------------------------------------

Gringo is distributed under the GNU Public Licence, see file COPYING for
details. Gringo-3.x should accept almost all gringo-2.x programs plus some 
language constructs that were not present in previous versions. Additional 
features include:
 - Relaxed restrictions on programs (safe programs)
 - No 
more»

/gringo-3.0.4-source/CHANGES

gringo 3.0.4
	* fixed broken #include directive
	* fixed preprocessing of ';' in terms
	* fixed some compilation problems
	* updated inbuilt clasp to version 1.3.10

gringo 3.0.3
	* added (default) ODBC support in windows version
	* fixed bug in simplification of #count/#sum aggregates
	* fixed problem with incremental grounding
	* changed handling of strings and constants from within lua
	* added
more»

/gringo-3.0.4-source/COPYING

                    GNU GENERAL PUBLIC LICENSE
                       Version 3, 29 June 2007

 Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
 Everyone is permitted to copy and distribute verbatim copies
 of this license document, but changing it is not allowed.

                            Preamble

  The GNU General Public License is a free, copyleft license for
software an
more»

/gringo-3.0.4-source/liblua/COPYING

Lua License
-----------

Lua is licensed under the terms of the MIT license reproduced below.
This m
more»

/gringo-3.0.4-source/libluasql/COPYING

Copyright (C); 2003-2007 The Kepler Project.

Permission is hereby granted, free of charge, to any p
more»

Browse inside gringo_3.0.4.orig.tar.gz

         [DIR]gringo-3.0.4-source/ (14)

Download gringo_3.0.4.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com