fasp2smt

swMATH33092MaRDI QIDQ44801FDOQ44801

Author name not available (Why is that?)

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