fix task loading in sampling
duplicates are allowed in monotonefw computation
remove unnecessary code; check pairwise configurations for satisfiability
fix error in pairwise generation
fix error in pairwise generation
Merge branch 'liveness' of github.com:ckaestne/TypeChef into liveness