1name(scasp). 2version('0.10.0'). 3title('Goal directed ASP solver'). 4keywords([scasp, asp]). ( 'Joaquin Arias', 'joaquin.arias@urjc.es' ). 6author( 'Kyle Marple', '' ). 7author( 'Jan Wielemaker', 'jan@swi-prolog.org' ). 8home('https://github.com/SWI-Prolog/sCASP' ). 9download( 'https://github.com/SWI-Prolog/sCASP.git' )