Contents filter
File Package Branch Repository Architecture
/usr/bin/clasp clingo edge community armv7
/usr/bin/clingo clingo edge community armv7
/usr/bin/gringo clingo edge community armv7
/usr/bin/lpconvert clingo edge community armv7
/usr/bin/reify clingo edge community armv7
/usr/lib/libclingo.so.3 clingo edge community armv7
/usr/lib/libclingo.so.3.0 clingo edge community armv7
/usr/lib/libpyclingo.so.1 clingo edge community armv7
/usr/lib/libpyclingo.so.1.0 clingo edge community armv7