{"name":"aspcud","portdir":"devel/aspcud","version":"1.9.6","license":"MIT","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://potassco.org/aspcud/","description":"CUDF package dependency solver","long_description":"Aspcud is a solver for package dependencies. A package universe and a request to install, remove, or upgrade packages have to be encoded in the CUDF format. Such a CUDF document can then be passed to aspcud along with an optimization criteria to obtain a solution to the given package problem.","active":true,"categories":["devel","math"],"maintainers":[],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","re2c","boost176","clang-16"]},{"type":"lib","ports":["clingo"]}],"depends_on":[]}