1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
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
|
