33 Commits

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