What's new in iclingo 3.0.5
Mar 25, 2013
- fixed compilation issues
- fixed grounding issues with conditionals
- incremental constant was not handled properly in some cases
- fixed preprocessing of ';' in predicates
- fixed compute statements in clingo
- fixed show/hide statements in ground-only mode
- changed #include directives to do not include file at the end
- arguments in #domain statements can be separated by ';' now
- reduced Lua's stack size in programs with many lua function calls
- improved join ordering heuristic
New in iclingo 3.0.4 (Mar 25, 2013)
- fixed broken #include directive
- fixed preprocessing of ';' in terms
- fixed some compilation problems
- updated inbuilt clasp to version 1.3.10
New in iclingo 3.0.3 (Mar 25, 2013)
- 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
New in iclingo 3.0.2 (Mar 25, 2013)
- improved literal ordering heuristic
- fixed parsing problems with @ symbol
- fixed wrong handling of minimize constraints
New in iclingo 3.0.1 (Mar 25, 2013)
- 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
New in iclingo 3.0.0 (Mar 25, 2013)
- 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)
New in iclingo 2.0.5 (Mar 25, 2013)
- fixed a bug that made assignment aggregates unusable in the previous release
New in iclingo 2.0.4 (Mar 25, 2013)
- 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