bv

Bitvectors for Racket a-la Rosette

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, January 9th, 2020 3:50:00pm (UTC)
Ring2
ConflictsNone
DependenciesNone
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/pmatos/racket-bv.git198e6ef0fd33d8503c49272c691a1fda0067982f
Last checkedMonday, January 20th, 2020 5:03:17am (UTC)
Last editedThursday, January 9th, 2020 3:50:00pm (UTC)
Date addedThursday, January 9th, 2020 3:50:00pm (UTC)
Modules