PetitASP

Description

Answer Sets in Smalltalk

Details

Source

GitHub

License

MIT

Created

Sept. 14, 2021

Updated

Nov. 4, 2021

README excerpt

# Answer Sets in Smalltalk
This is an SMT-based implementation of Constraint ASP based on ideas of
Balduccini and Lierler.