Bug fix for delayed unsat core. Activation literals for transition relation in strategies bad and dicho (better performances)
Bug fix for delayed unsat core.
Activation literals for transition relation in strategies bad and dicho (better performances)

tinelli/kind2,AdrienChampion/kind2,AdrienChampion/kind2,mebsout/kind2,tinelli/kind2,tinelli/kind2,mebsout/kind2,tinelli/kind2,AdrienChampion/kind2,mebsout/kind2,mebsout/kind2,mebsout/kind2,AdrienChampion/kind2,tinelli/kind2,AdrienChampion/kind2,kind2-mc/kind2,mebsout/kind2,mebsout/kind2,AdrienChampion/kind2,AdrienChampion/kind2,daniel-larraz/kind2,AdrienChampion/kind2,AdrienChampion/kind2,mebsout/kind2,mebsout/kind2,tinelli/kind2