https://github.com/pmatos/racket-bv

Racket bitvectors a-la rosette
https://github.com/pmatos/racket-bv

bitvector racket rosette

Last synced: 25 days ago
JSON representation

Racket bitvectors a-la rosette

• Host: GitHub
• URL: https://github.com/pmatos/racket-bv
• Owner: pmatos
• License: apache-2.0
• Created: 2020-01-09T15:48:15.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2022-04-01T08:56:35.000Z (almost 3 years ago)
• Last Synced: 2024-11-11T14:56:28.521Z (3 months ago)
• Topics: bitvector, racket, rosette
• Language: Racket
• Size: 34.2 KB
• Stars: 7
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
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](https://github.com/pmatos/racket-bv/runs/665061344?check_suite_focus=true#step:4:1327))