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

patrick/anthem

Labels Milestones New Issue

Incorrect output for 0-ary predicates

#38 opened 2019-02-07 17:49:45 +01:00 by patrick anthem 0.2.0

Handle predicates with the same name but different arity

#37 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

#35 opened 2019-01-25 00:19:07 +01:00 by patrick anthem 0.2.0

Support function symbols with τ* and variable mapping scheme

#30 opened 2019-01-16 16:24:40 +01:00 by patrick anthem 0.2.1

Write unit tests for τ* translation scheme

#29 opened 2019-01-16 03:19:16 +01:00 by patrick anthem 0.2.0

Perform safe simplifications with logic of here-and-there

#28 opened 2019-01-16 02:39:27 +01:00 by patrick anthem 0.2.1

Add option to show verbose output

#24 opened 2019-01-13 16:58:09 +01:00 by patrick anthem 0.2.1

Translate logic of here-and-there to classical logic

#23 opened 2019-01-13 16:56:22 +01:00 by patrick anthem 0.2.1

Simplify choice rules further

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

Handle explicitly defined predicates declared as #external

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

Simplify conjunctions with weaker subformulas

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

Relax circular elimination check

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

Support comparisons in rule heads

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

Search for minimal simplified form

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

Idea: Ordered completion for solving recursion

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