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

2020h

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