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 and BEAR Cloud VMs):

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

BEAR Apps Version

2019b

Architectures

EL8-cascadelakeEL8-icelakeEL8-sapphirerapids

The listed architectures consist of two part: OS-CPU. The OS used is represented by EL and there are several different processor (CPU) types available on BlueBEAR. More information about the processor types on BlueBEAR is available on the BlueBEAR Job Submission page.

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