Answer Sets in Smalltalk

This is an SMT-based implementation of Constraint ASP based on ideas of Balduccini and Lierler.