wip/mccs srcs NetBSD

Multi Criteria CUDF Solver

Homepage
Browse the package
Other distributions
Ports that need it
Search similar

System: NetBSD
Repository: pkgsrc-wip
Maintainer: [email protected]
License: modified-bsd
Categories: wip, misc

Description

mccs (which stands for Multi Criteria CUDF Solver) provides a mean to solve cudf problems as defined in the MANCOOSI european project (http://www.mancoosi.org) and was partially supported by the European Community's 7th Framework Programme (FP7/2007-2013), MANCOOSI project, grant agreement n. 214898.

mccs has been developed under linux and has not been tested on other platforms. The provided mccs is statically linked and run under linux 32 bits.

mccs translate the cudf problem into an integer linear program which is then solved by an underlying solver.

Install

From pkgsrc-wip (no binary package):

cd /usr/pkgsrc/wip/mccs && make install clean

Dependencies

Required by 1

wip/semgrep-core