packages / ply

clasp

Answer set solver for (extended) normal logic programs

license: MIThttps://potassco.org/

use it

[dependencies]
clasp = "3.3"

versions