c1e75afb71
Version bump for release 0.1.9 RC 5
2018-04-22 22:33:38 +02:00
529aec15af
Add integer simplifications to change log
2018-04-21 18:48:57 +02:00
f190c28ea5
Add integer function declarations to change log
2018-04-21 17:26:15 +02:00
a9b00dfb7c
Add integer variable detection to change log
2018-04-20 16:38:57 +02:00
9a59ac17f5
Version bump after release 0.1.8
2018-04-20 16:37:03 +02:00
250942643c
Version bump for release 0.1.8
2018-04-20 16:35:35 +02:00
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
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
92fddd6665
Version bump after release 0.1.7
2018-04-08 21:03:20 +02:00
582b6ade6d
Version bump for release 0.1.7
2018-04-08 20:44:43 +02:00
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
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
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
be19a5f66b
Version bump after release 0.1.6.
2017-06-13 00:14:16 +02:00
675a3e2eb7
Version bump for release 0.1.6.
2017-06-12 18:38:36 +02:00
4f399a594a
Updated change log with new examples for experimenting.
2017-06-12 18:35:06 +02:00
1d172589f5
Rephrased change log entry for clarity.
2017-06-09 22:13:05 +02:00
fd40bd1a5b
Added bug fix to change log.
2017-06-09 22:02:02 +02:00
1e887594c7
Updated change log with new option --parentheses.
2017-06-06 02:07:21 +02:00
7ae0a1f289
Removed unnecessary parentheses after simplification.
2017-06-05 03:58:39 +02:00
2cbc3116b8
Updated change log with new #show and simplification features.
2017-06-05 03:07:50 +02:00
cdcee897ec
Added missing error message when input file does not exist.
2017-06-01 03:29:09 +02:00
aea640a624
Updated change log with unique variable ID feature.
2017-05-30 18:22:01 +02:00
7145d05fb9
Version bump after release 0.1.5.
2017-05-04 16:46:24 +02:00
3b11eb906a
Version bump for release 0.1.5.
2017-05-04 16:00:49 +02:00
d056fabb8b
Fixes lost signs with negated 0-ary predicates.
2017-05-04 15:44:37 +02:00
33f426d860
Version bump after release 0.1.4.
2017-04-12 01:22:15 +02:00
9a81e12a8f
Version bump for release 0.1.4.
2017-04-12 00:59:55 +02:00
799e77170b
Fixed typo.
2017-04-12 00:59:26 +02:00
ddeeaecf50
Updated change log with new support for completion.
2017-04-10 16:49:59 +02:00
f57a257b4e
Version bump after release 0.1.3.
2017-03-30 16:34:43 +02:00
b59dca5a49
Version bump for release 0.1.3.
2017-03-30 16:17:07 +02:00
d0cbdb13e5
Fixed misleading error message concerning negated, unsupported body literals.
2017-03-29 23:09:40 +02:00
ef715de6c4
Updated change log with support for anonymous variables.
2017-03-29 21:33:26 +02:00
3df4d5a2a2
Fixed incorrectly simplified rules with comparisons.
2017-03-28 17:13:15 +02:00
7c928f07a3
Version bump after release 0.1.2.
2017-03-23 15:38:33 +01:00
7dcd684717
Version bump for release 0.1.2.
2017-03-23 15:30:17 +01:00
96899e4dfe
Updated change log.
2017-03-23 15:14:33 +01:00
7bb78656f4
Updated change log with recent bug fix.
2017-03-23 02:14:10 +01:00
2d2f2cd0dd
Updated change log with basic simplification features.
2017-03-23 01:12:55 +01:00
33e47ae089
Updated change log with new explicit formula representation.
2017-03-15 16:32:26 +01:00
74338a5ab7
Version bump after release 0.1.1.
2017-03-06 18:09:48 +01:00
ffe46738de
Updated change log with support for choice rules.
2017-03-06 16:51:21 +01:00
d2259bca63
Version bump after release 0.1.0.
2016-11-25 00:02:52 +01:00
fe81714798
Version bump for release 0.1.0.
2016-11-24 23:52:15 +01:00
39d691c7ad
Added change log.
2016-11-24 23:50:15 +01:00