-
Notifications
You must be signed in to change notification settings - Fork 8
/
NEWS
137 lines (90 loc) · 4.76 KB
/
NEWS
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
dlvhex NEWS -- history of user-visible changes.
* Version 2.6.0 (??)
** External source inlining based on support sets.
** Support for term ranges.
* Version 2.5.0 (April 2016)
** External atom semantics was extended to 3 values (true, false, unknown); 2-valued external atoms are still compatible.
** Support for external atom evaluation under partial assignments (possible performance improvements).
** Extended Python plugin API.
** Support for input and output in CSV format.
** Support for choice rules.
** Support for conditional literals.
** Support aggregates with multi-component symbolic sets.
** Support for interpreted function symbols.
** More efficient implementation of weak constraints.
** dlvhex is now compliant with ASP-Core-2 standard.
** Code cleanup, bugfixes and stability improvements, improved error and warning messages.
** New default options: strong negation, liberal safety and external learning methods are enabled by default (increased efficiency, decreased syntactic restrictions).
** Complete doxygen documentation.
** The solver backend was upgraded to Clasp 3.1.4 and Gringo 4.5.4.
* Version 2.4.0 (September 2014)
** A new interface which support plugins to be implemented in Python.
** An alternative algorithm for external source compatibility checking based on support sets.
** A plugin interface for customized model generators.
** Numerous bugfixes and optimizations.
** The solver backend was upgraded to Gringo 4.4.0 Clasp 3.1.0.
* Version 2.3.0 (December 2013)
** Various performance improvements and bugfixes.
** Fine-tuning of heuristics.
** See Changelog for minor changes and more details.
* Version 2.2.0 (August 2013)
** Support for function symbols (see examples/functionsymbols<N>.hex)
** Existentials in the head (see examples/exists<N>.hex)
** Liberal safety (see examples/liberalsafety<N>.hex)
** Various performance improvements and bugfixes.
** See Changelog for minor changes and more details.
* Version 2.1.0 (October 2012)
** Gringo+Clasp can now be built as part of the dlvhex build process and
can be automatically integrated into dlvhex as default solver backend.
** New method for computing FLP semantics using Unfounded Set Checks
** New evaluation heuristics for more efficient solving using the conflict-
driven solver backends (genuineii, genuinegc).
** See Changelog for minor changes and more details.
* Version 2.0.0 (March 2012)
** Rewrite of evaluation and decomposition framework, see the paper
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition"
by Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas
Krennwallner, and Peter Schüller (LPNMR 2011).
** Rewrite of entity management (IDs plus Registry instead of strings).
** Extend Plugin API: ComfortPluginAtom parallel to PluginAtom.
** Add incremental model building (one model at a time).
** Add Plugin Versioniong ABI.
** Add interface for input parser modules.
** Add ASP querying support (brave, cautious, ground, nonground).
** Add multithreaded support.
** Add support for input-call stratified modular nonmonotonic logic programs (MLPs).
** Various fixes, improvements, and new testcases.
** See ChangeLog for more details.
* Version 1.7.2 (October 2010)
** Fix configuration error with boost 1.44.
* Version 1.7.1 (July 2010)
** Fix dlvdb support in libaspsolver.
** Introduce better benchmarking support.
** Code clean-ups and beautifications.
** Improve speed of answer set parser.
** Fix tickets #7, #11, #12, #13, #14.
* Version 1.7.0 (June 2010)
** This is the last dlvhex release with major number 1 and minor number 7.
** Add support for dlvdb as ASP solver (--solver=dlvdb).
** Introduce dlvhex namespace.
** Introduce OutputBuilder interface, which allows plugins to have their own output formats.
** Sanitize Plugin interface.
** Use libltdl for loading the plugins.
** Add support for retrieving HEX-programs via HTTP (or whatever protocol libcurl supports).
** Use a more efficient replacement name technique for external atoms.
** Add support for a simple caching strategy for external atoms (turn off with --nocache).
** Support for nonmonotonic external atoms (instantiate your external atom with PluginAtom(false)).
** Install libdlvhexbase.so and libaspsolver.so in $libdir instead of $pkglibdir (e.g., instead of /usr/local/lib/dlvhex, they are now located in /usr/local/lib).
** Use singleton interface for the name tables, caused a nasty bug with duplicate global Term::names instantiations.
** Fix ticket #1.
* Version 1.6.0 (August 2007)
** Variable arities of external atom input lists.
** Debugged model-generation algorithm.
** Added switch --reverse for reverse ordering of weak constrained models.
** Added GPL license.
** Improved documentation.
vi:ts=4:tw=75
Local variables:
mode: outline
paragraph-separate: "[ ]*$"
end: