Labels Milestones

Search

New Issue

15 Open 23 Closed

Label

Use alt + click/enter to exclude labels All labels aesthetic bug discussion documentation duplicate enhancement good first issue help wanted invalid question suggestion task wontfix

Milestone

All milestones anthem 0.2.0 anthem 0.2.1

Assignee

All assignees patrick

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

15 Open 23 Closed

Close

Label

aesthetic

bug

discussion

documentation

duplicate

enhancement

good first issue

help wanted

invalid

question

suggestion

task

wontfix

Milestone

No milestone

anthem 0.2.0

anthem 0.2.1

Assignee

No assignee

patrick

Incorrect output for 0-ary predicates bug

#38 opened 3 years ago by patrick anthem 0.2.0

Handle predicates with the same name but different arity bug

#37 opened 3 years ago by patrick anthem 0.2.0

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

#35 opened 3 years ago by patrick anthem 0.2.0

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

#30 opened 3 years ago by patrick anthem 0.2.1

1

Write unit tests for τ* translation scheme task

#29 opened 3 years ago by patrick anthem 0.2.0

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

#28 opened 3 years ago by patrick anthem 0.2.1

Add option to show verbose output aesthetic enhancement

#24 opened 3 years ago by patrick anthem 0.2.1

1

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

#23 opened 3 years ago by patrick anthem 0.2.1

Simplify choice rules further enhancement

#14 opened 4 years ago by patrick

Handle explicitly defined predicates declared as #external bug discussion

#10 opened 4 years ago by patrick