Patrick Lühne
e0aa3497ee
Version bump after release 0.1.9
2018-05-04 17:24:36 +02:00
Patrick Lühne
64bab69a36
Version bump for release 0.1.9
2018-05-04 17:06:28 +02:00
Patrick Lühne
c199f609bd
Enable all processing steps by default
...
This enables completion, simplification, and integer variable detection
by default, because these options are be used more often than not.
The change log is updated according to this change.
2018-05-04 17:06:28 +02:00
Patrick Lühne
1570432ee0
Add interval precedence fix to change log
2018-05-04 17:06:28 +02:00
Patrick Lühne
fa3ed31eca
Add fix related to choice rules to change log
...
This adds the fix concerning the incorrect translation generated for
choice rules with multiple elements to the change log.
2018-05-04 17:06:25 +02:00
Patrick Lühne
bb9013e7c5
Add integer extensions to change log
...
This adds the recent integer extensions to the change log, namely,
integer variable detection, simplifications concerning integer
variables, and support for explicitly declaring functions integer.
2018-04-29 22:39:36 +02:00
Patrick Lühne
9a59ac17f5
Version bump after release 0.1.8
2018-04-20 16:37:03 +02:00
Patrick Lühne
250942643c
Version bump for release 0.1.8
2018-04-20 16:35:35 +02:00
Patrick Lühne
8c250f5c59
Support modulus operation (absolute value)
...
This adds support for computing the absolute value of a term along with
an according unit test.
2018-04-12 00:38:48 +02:00
Patrick Lühne
31d4a20491
Update change log with recent additions
...
This updates the change log with the advanced simplification rules,
support for the exponentation operator, and the newly added examples.
2018-04-11 21:50:15 +02:00
Patrick Lühne
92fddd6665
Version bump after release 0.1.7
2018-04-08 21:03:20 +02:00
Patrick Lühne
582b6ade6d
Version bump for release 0.1.7
2018-04-08 20:44:43 +02:00
Patrick Lühne
c294a29cb2
Support placeholders with #external declarations
...
This adds support for declaring predicates as placeholders through the
“#external” directive in the input language of clingo.
Placeholders are not subject to completion. This prevents predicates
that represent instance-specific facts from being assumed as universally
false by default negation when translating an encoding.
This stretches clingo’s usual syntax a bit to make the implementation
lightweight. In order to declare a predicate with a specific arity as a
placeholder, the following statement needs to be added to the program:
#external <predicate name>(<arity>).
Multiple unit tests cover cases where placeholders are used or not as
well as a more complex graph coloring example.
2018-04-08 20:28:57 +02:00
Patrick Lühne
2a2fec0eac
Update change log with dependency change
...
This adds the dependency change from Boost (for program options) to
cxxopts to the change log.
2018-04-06 23:08:57 +02:00
Patrick Lühne
09e56c3bce
Format change log sections with proper headings
...
This makes the change log sections have proper headings, which were just
normal text before.
2018-04-06 22:53:59 +02:00
Patrick Lühne
be19a5f66b
Version bump after release 0.1.6.
2017-06-13 00:14:16 +02:00
Patrick Lühne
675a3e2eb7
Version bump for release 0.1.6.
2017-06-12 18:38:36 +02:00
Patrick Lühne
4f399a594a
Updated change log with new examples for experimenting.
2017-06-12 18:35:06 +02:00
Patrick Lühne
1d172589f5
Rephrased change log entry for clarity.
2017-06-09 22:13:05 +02:00
Patrick Lühne
fd40bd1a5b
Added bug fix to change log.
2017-06-09 22:02:02 +02:00
Patrick Lühne
1e887594c7
Updated change log with new option --parentheses.
2017-06-06 02:07:21 +02:00
Patrick Lühne
7ae0a1f289
Removed unnecessary parentheses after simplification.
2017-06-05 03:58:39 +02:00
Patrick Lühne
2cbc3116b8
Updated change log with new #show and simplification features.
2017-06-05 03:07:50 +02:00
Patrick Lühne
cdcee897ec
Added missing error message when input file does not exist.
2017-06-01 03:29:09 +02:00
Patrick Lühne
aea640a624
Updated change log with unique variable ID feature.
2017-05-30 18:22:01 +02:00
Patrick Lühne
7145d05fb9
Version bump after release 0.1.5.
2017-05-04 16:46:24 +02:00
Patrick Lühne
3b11eb906a
Version bump for release 0.1.5.
2017-05-04 16:00:49 +02:00
Patrick Lühne
d056fabb8b
Fixes lost signs with negated 0-ary predicates.
2017-05-04 15:44:37 +02:00
Patrick Lühne
33f426d860
Version bump after release 0.1.4.
2017-04-12 01:22:15 +02:00
Patrick Lühne
9a81e12a8f
Version bump for release 0.1.4.
2017-04-12 00:59:55 +02:00
Patrick Lühne
799e77170b
Fixed typo.
2017-04-12 00:59:26 +02:00
Patrick Lühne
ddeeaecf50
Updated change log with new support for completion.
2017-04-10 16:49:59 +02:00
Patrick Lühne
f57a257b4e
Version bump after release 0.1.3.
2017-03-30 16:34:43 +02:00
Patrick Lühne
b59dca5a49
Version bump for release 0.1.3.
2017-03-30 16:17:07 +02:00
Patrick Lühne
d0cbdb13e5
Fixed misleading error message concerning negated, unsupported body literals.
2017-03-29 23:09:40 +02:00
Patrick Lühne
ef715de6c4
Updated change log with support for anonymous variables.
2017-03-29 21:33:26 +02:00
Patrick Lühne
3df4d5a2a2
Fixed incorrectly simplified rules with comparisons.
2017-03-28 17:13:15 +02:00
Patrick Lühne
7c928f07a3
Version bump after release 0.1.2.
2017-03-23 15:38:33 +01:00
Patrick Lühne
7dcd684717
Version bump for release 0.1.2.
2017-03-23 15:30:17 +01:00
Patrick Lühne
96899e4dfe
Updated change log.
2017-03-23 15:14:33 +01:00
Patrick Lühne
7bb78656f4
Updated change log with recent bug fix.
2017-03-23 02:14:10 +01:00
Patrick Lühne
2d2f2cd0dd
Updated change log with basic simplification features.
2017-03-23 01:12:55 +01:00
Patrick Lühne
33e47ae089
Updated change log with new explicit formula representation.
2017-03-15 16:32:26 +01:00
Patrick Lühne
74338a5ab7
Version bump after release 0.1.1.
2017-03-06 18:09:48 +01:00
Patrick Lühne
ffe46738de
Updated change log with support for choice rules.
2017-03-06 16:51:21 +01:00
Patrick Lühne
d2259bca63
Version bump after release 0.1.0.
2016-11-25 00:02:52 +01:00
Patrick Lühne
fe81714798
Version bump for release 0.1.0.
2016-11-24 23:52:15 +01:00
Patrick Lühne
39d691c7ad
Added change log.
2016-11-24 23:50:15 +01:00
Patrick Lühne