/xclasp

A variant of the clasp solver for extracting learned constraints

Stargazers

No one’s star this repository yet.