see also the index (by topic, by tool, by reference, by year)

## Bitwise operations

Examples involving bitwise operations

- A challenge related to the Esterel Compiler
- Counting bits in a bit vector
- Integer square root on machine integers
- The BitWalker, SPARK version
- The BitWalker, Why3 version
- The N-queens problem, in C with Caduceus tool
- The N-queens problem, using bit vectors
- The rightmost bit trick

see also the index (by topic, by tool, by reference, by year)