Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
README | 2012-01-26 | 3.2 kB | |
iclingo-3.0.4-source.tar.gz | 2012-01-26 | 539.5 kB | |
iclingo-3.0.4-x86-linux.tar.gz | 2012-01-26 | 1.1 MB | |
iclingo-3.0.4-win32.zip | 2012-01-26 | 815.3 kB | |
Totals: 4 Items | 2.4 MB | 0 |
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 option to limit term depth while grounding incrementally * allow for tuples with only one element gringo 3.0.2 * improved literal ordering heuristic * fixed parsing problems with @ symbol * fixed wrong handling of minimize constraints gringo 3.0.1 * added possibility to intercept models using lua * fixed compilation issues with cmake-2.6 * when appropriate automatic conversion from string to int in lua * support for unnamed function symbols (aka tuples) * fixed classical negation gringo 3.0.0 * relaxed restrictions on programs * no domain predicates needed in (stratified) aggregates * arbitrary literals in aggregates * lua scripting language to write custom functions * #include directives * #minimize statements with priorities * #show/#hide statements with extended functionality * #external statements (extends lparse counterpart) gringo 2.0.5 * fixed a bug that made assignment aggregates unusable in the previous release gringo 2.0.4 * correctly handle negative weights in optimize statements * added clasp-1.3.1 to the clingo/iclingo variants * allow for comparing all values with each other (strings, numbers, function symbols) * added experimental ishift directives * dropped support for plain Makefiles * corrected the power operator * fixed some serious bugs in the instantiator * the project should be compilable using msvc now (use cmake-gui to generate the project files) * various other bugfixes gringo 2.0.3 * added option --shift to remove disjunctions in the head of rules * added support for #times aggregates * added support for #avg aggregates * added support for the two parity aggregates #even and #odd * added the synonyms #minimize/minimise and #maximize/#maximise * every keyword (sum, count, min, ...) should be preceeded by # now * fixed a bug in the lparseconverter * fixed a bug concerning top-level conflicts while incremental solving * fixed a bug with ; nested in aggregates * added clasp-1.2.0 to the clingo/iclingo variants * fixed a bug in the instantiator * changed the ordering of predicates in rule bodies (the previous implementation may have led to non-deterministic behaviour) * fixed a bug in sum aggregates (negative literals did not work) gringo 2.0.2 * removed some wrong assertions * fixed handling of min- and max-aggregates * fixed a bug in assignmentliterals * added a "--debug" option to print the internal representation of rules during grounding gringo 2.0.1 * added "--base" option * aggregates may be preceded by nots now * improved the "--help" output * fixed a bug in the handling of ;'s * fixed non working max-aggregates * fixed the cmake files because of build errors on some platforms gringo 2.0.0 * complete rewrite of gringo 1.0.0