File: solvetrendy

package info (click to toggle)
mccs 1:1.1-5
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 708 kB
  • ctags: 948
  • sloc: ansic: 6,051; yacc: 652; makefile: 148; lex: 129; sh: 26
file content (7 lines) | stat: -rwxr-xr-x 213 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
#!/bin/sh

# solving CUDF problems with trendy criteria
# first parameter = CUDF problem
# second parameter = solution file

mccs -i $1 -o $2 -lexsemiagregate[-removed,-notuptodate,-nunsat[recommends:,true],-new]