Jeremy Butcheck
Results
1
issues of
Jeremy Butcheck
Hi I'm having trouble with the solveropts argument "pfilter" and "filter" with sparc 2.48 and DLV Dec 17 2012. Somehow the argument is not being passed from sparc to DLV....