pmatos/racket-bv

Racket bitvectors a-la rosette

bv

raco pkg install bv

Supported in version >=7.0 except 7.4 and 7.5 because dependency mischief fails to compile (see workflow run)