clingo 5.4.0-GCCcore-8.3.0-Python-3.7.4Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem.
Accessing clingo 5.4.0-GCCcore-8.3.0-Python-3.7.4
To load the module for clingo 5.4.0-GCCcore-8.3.0-Python-3.7.4 please use this command on the BEAR systems (BlueBEAR, BEAR Cloud VMs, and CaStLeS VMs):
module load clingo/5.4.0-GCCcore-8.3.0-Python-3.7.4
BEAR Apps Version
For more information visit the clingo website.
Last modified on 21st September 2020