potassco/anthem
View on GitHubA translator between answer set programs and first-order logic
- Stars
- 15
- Forks
- 5
- Open beginner issues
- 0
- Indexed issues
- 33
- Dominant language
- Rust
- License
- MIT
- Last GitHub push
- Jun 29, 2026
- Latest indexed
- Sep 19, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
A-parsing A-syntax-tree C-feature-requested E-medium L-asp P-low
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
A-translating C-feature-requested E-hard L-asp L-fol
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
A-breaking C-bug E-easy P-medium
-
A-verifying C-feature-requested E-hard L-fol P-low
Difficulty 5/5 Over a week Newbie friendliness 30/100
-
A-syntax-tree C-enhancement E-hard L-fol
Difficulty 3/5 1-2 days Newbie friendliness 45/100
-
C-doc
-
C-cleanup C-doc
Difficulty 2/5 1-3 hours Newbie friendliness 35/100
-
C-enhancement
Difficulty 4/5 3-5 days Newbie friendliness 30/100
-
A-formatting A-parsing C-testing E-medium
Difficulty 3/5 1-2 days Newbie friendliness 50/100
-
A-simplifying A-verifying C-enhancement L-fol P-low
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
A-syntax-tree C-enhancement E-medium L-fol P-low
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
A-simplifying C-feature-requested E-easy L-fol P-medium
-
Move simplifications OpenA-simplifying C-enhancement E-hard L-fol P-low
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
C-enhancement E-hard P-medium
Difficulty 5/5 Over a week Newbie friendliness 20/100
-
A-translating C-feature-requested E-easy L-fol P-low
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
C-enhancement E-hard P-low
-
A-verifying C-bug E-easy L-fol P-high
-
A-translating C-enhancement P-low
-
A-translating C-cleanup L-asp L-fol P-low
-
C-doc C-feature-requested
-
A-verifying C-enhancement E-medium L-fol P-high
-
A-parsing L-fol
Difficulty 3/5 1-2 days Newbie friendliness 45/100
-
A-verifying C-feature-requested P-low
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
A-formatting C-enhancement E-easy P-low
-
C-doc E-hard P-medium
-
A-verifying C-enhancement E-medium L-fol P-low
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
A-parsing C-enhancement E-medium L-asp L-fol P-low
-
A-verifying C-feature-requested E-hard P-medium
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
A-command-line C-feature-requested E-hard P-low
-
A-command-line C-feature-requested E-medium P-low
-
Pretty printing OpenA-formatting C-feature-requested E-hard L-asp L-fol
Difficulty 3/5 1-2 days Newbie friendliness 35/100
-
A-formatting A-translating C-enhancement E-medium L-fol P-low
Difficulty 3/5 1-2 days Newbie friendliness 45/100
-
A-syntax-tree A-translating C-feature-requested E-hard P-low
Difficulty 5/5 Over a week Newbie friendliness 25/100