×

No Description

Uploaded Fri Apr 23 18:12:35 2021
md5 checksum 7c7cefb03a2fcc6f2eba8264b95e0f2d
arch x86_64
build h4cf5134_0
depends clingo >=5.5,<5.6.0a0, gmp >=6.2.1, libcxx >=10.0.0
license MIT
machine x86_64
operatingsystem darwin
platform osx
subdir osx-64
target-triplet x86_64-any-darwin
timestamp 1619201549817