Issues - anthem - Gitea: Git with a cup of tea

Labels Milestones New Issue

Incorrect output for 0-ary predicates bug

opened 2019-02-07 17:49:45 +01:00 by patrick

anthem 0.2.0

Handle predicates with the same name but different arity bug

opened 2019-01-30 21:17:04 +01:00 by patrick

anthem 0.2.0

Add human-readable output mode with mapping to integer domain only enhancement

opened 2019-01-25 00:19:07 +01:00 by patrick

anthem 0.2.0

Support function symbols with τ* and variable mapping scheme bug enhancement

opened 2019-01-16 16:24:40 +01:00 by patrick

anthem 0.2.1

Write unit tests for τ* translation scheme task

opened 2019-01-16 03:19:16 +01:00 by patrick

anthem 0.2.0

Perform safe simplifications with logic of here-and-there aesthetic enhancement

opened 2019-01-16 02:39:27 +01:00 by patrick

anthem 0.2.1

Add option to show verbose output aesthetic enhancement

opened 2019-01-13 16:58:09 +01:00 by patrick

anthem 0.2.1

Translate logic of here-and-there to classical logic enhancement

opened 2019-01-13 16:56:22 +01:00 by patrick

anthem 0.2.1

Simplify choice rules further enhancement

opened 2018-04-21 19:36:43 +02:00 by patrick

Handle explicitly defined predicates declared as #external bug discussion

opened 2018-04-13 14:20:24 +02:00 by patrick

Simplify conjunctions with weaker subformulas enhancement

opened 2018-04-13 01:07:16 +02:00 by patrick

Relax circular elimination check bug

opened 2018-04-13 01:02:32 +02:00 by patrick

Support comparisons in rule heads enhancement

opened 2018-04-13 00:50:40 +02:00 by patrick

Search for minimal simplified form enhancement

opened 2018-04-13 00:45:37 +02:00 by patrick

Idea: Ordered completion for solving recursion discussion suggestion

opened 2017-11-08 17:07:25 +01:00 by patrick