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

Labels Milestones New Issue

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

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

Simplify conjunctions with weaker subformulas enhancement

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