This website works better with JavaScript.
Explore
Help
Sign In
patrick
/
anthem
Watch
1
Star
0
Fork
You've already forked anthem
0
Code
Issues
15
Releases
21
Activity
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
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
First
Previous
1
2
Next
Last