krr-uno

krr-uno/anthem-uno

A translator between answer set programs and first-order logic

1 good first / help-wanted issue · Rust · last activity Aug 5, 2026

0 stars 1 forks 0 watchers Rust MIT License

1 Open Issue Need Help Last updated: Aug 5, 2026

Open Issues Need Help

View All on GitHub

Stack overflow on large theories 3 months ago

bug help wanted question performance

krr-uno/anthem-uno

0

A translator between answer set programs and first-order logic

Rust