8 ms·Also, checkout potassco ASP solver. Beautiful work and superb performance. YMMV.by scast 12y agoAlso, checkout potassco ASP solver. Beautiful work and superb performance. YMMV.