patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity
Labels Milestones
New Issue
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
Projects
No project
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