payback

• vivacity
• Beyer
• symbolic
• supported
• detects