fasp2smt
A Fuzzy Answer Set Programming (FASP) solver
Fuzzy Answer Set Programming (FASP) allows to represent and reason on incomplete and imprecise knowledge under stable model semantics. This is a solver based on translations into SMT theories.
GitHub repository