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

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

BEAR Apps Version

2019b

Architectures

EL8-cascadelake — EL8-haswell — Ubuntu20.04-haswell

The listed architectures consist of two part: OS-CPU.

  • BlueBEAR: The OS used on BlueBEAR 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.
  • BEAR and CaStLeS Cloud VMs: These VMs can have one of two OSes. Those with access to a BEAR Cloud or CaStLeS VM should check that the listed architectures for an application include the OS of VM being used. The VMs, irrespective of OS, will use the haswell CPU type.

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