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