The Debian Package clingo-lpx
-----------------------------

    A solver for logic programs with linear eqations.

 -- Roland Kaminski <kaminski@cs.uni-potsdam.de>  Sat, 19 Feb 2021 14:00:00 +0100
