no code implementations • 26 Mar 2015 • Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
In a preliminary step this program with variables is translated in an equivalent propositional one by a first tool: the grounder.
Negation