Commit Graph

23 Commits

Author SHA1 Message Date
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