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

patrick/anthem

New Issue

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

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

Simplify conjunctions with weaker subformulas

#8 opened 2018-04-13 01:07:16 +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