Test Cases bitprop

Jan Burse, created Mar 30. 2019

1 Predikate bitcount/2

2 Predikate bitlength/2

3 Predikate lowestsetbit/2

4 Predikate setbit/3

5 Predikate clearbit/3

6 Predikate testbit/2

Comments