Section:
Depends : gcc-runtime, lua, python-3
Depends (build) : re2c
Replaces : clasp<=3.3.4
Breaks : aspcud<=1.9.4, clasp<=3.3.4
Provides : clasp, clingo, reify
Links: Changelog, Reverse dependency, Report issues
No issues. Keep up the good work.
Grounding tools for (disjunctive) logic programs
Section:
Depends : gcc-runtime, lua, python-3
Depends (build) : re2c
Replaces : clasp<=3.3.4
Breaks : aspcud<=1.9.4, clasp<=3.3.4
Provides : clasp, clingo, reify
Links: Changelog, Reverse dependency, Report issues
No issues. Keep up the good work.