clingo 5.4.0-GCCcore-8.3.0-Python-3.7.4

Deprecated: Use of this version of clingo is deprecated. More information on our Applications Support and Retention Policy.

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, BEARCloud VMs, and CaStLeS VMs):

module load clingo/5.4.0-GCCcore-8.3.0-Python-3.7.4

BEAR Apps Version

2018b

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