fasp2smt

MaRDI QIDQ44801swMATHFDO

Official website https://alviano.net/software/fasp2smt/

Source code repository https://github.com/alviano/python/tree/master/fasp

Cited in

(2)

• Fuzzy answer set computation via satisfiability modulo theories
• Fuzzy answer sets approximations

This page was built for software: fasp2smt