fasp2smt

swMATH33092MaRDI QIDQ44801FDOQ44801

Author name not available (Why is that?)

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