Testfälle sat

Jan Burse, erstellt 19. Aug 2019

1 Prädikat expr_eval/2

2 Prädikat sat/1

3 Prädikat labeling/1

4 Prädikat count/2

5 Prädikat card/2

6 Prädikat random_labeling/1

7 Prädikat pseudo/4

8 Prädikat weighted_maximum/3

Kommentare