search

chef / dep-selector-libgecode

Bundled Gecode Libraries for dep-selector
Apache License 2.0
11 stars 26 forks source link

ext: dynamically change the number of make jobs #52

Closed skottler closed 8 years ago