A grounder and solver for logic programs.

Label Latest Version
main 5.4.0
dev 5.5.0
PRIVACY POLICY  |  EULA (Anaconda Cloud v2.33.29) © 2020 Anaconda, Inc. All Rights Reserved.