A finite-valued solver for fuzzy answer-set programs