clingo 5.4.0-GCCcore-8.3.0-Python-3.7.4
Clingo 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
More Information
For more information visit the clingo website.
Dependencies
This version of clingo has a direct dependency on: Bison/3.3.2-GCCcore-8.3.0 GCCcore/8.3.0 Python/3.7.4-GCCcore-8.3.0 re2c/1.2.1-GCCcore-8.3.0
Last modified on 21st September 2020