Bitblasting functions into boolean formulas
☆11Oct 17, 2013Updated 13 years ago
Alternatives and similar repositories for BitBlast
Users that are interested in BitBlast are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- ☆11Jun 13, 2021Updated 5 years ago
- Source code and content for tmg.net☆15Nov 22, 2016Updated 9 years ago
- Generate CHANGELOG entries out of commit messages using AI/ML techniques☆11Oct 17, 2023Updated 3 years ago
- Tool for effective and efficient detection of API misuses.☆11May 20, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆18Sep 24, 2013Updated 13 years ago
- An example project with Poetry and scikit-build.☆14Oct 29, 2024Updated last year
- ☆10Nov 5, 2016Updated 9 years ago
- Solovay Kitaev algorithm☆12Aug 14, 2019Updated 7 years ago
- C++ header-only ESOP library☆16May 18, 2024Updated 2 years ago
- ☆12Jul 8, 2026Updated 3 months ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 8 years ago
- Firefox extension that replaces occurrences of 'Millennials' with 'Snake People'☆16Dec 10, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆16Apr 10, 2011Updated 15 years ago
- RADclock - A feed-forward NTP clock.☆18Dec 7, 2012Updated 13 years ago
- ☆12Jul 8, 2021Updated 5 years ago
- Learn how to use CCT!☆13Nov 7, 2016Updated 9 years ago
- Dimacs CNF utilities☆21Sep 29, 2026Updated 2 weeks ago
- A dynamic checker for the ECF property incorporated into geth☆15Oct 27, 2017Updated 8 years ago
- ☆16Jul 31, 2020Updated 6 years ago
- Scripts for collecting metrics of the attack surface☆15Jun 10, 2021Updated 5 years ago
- ☆39Apr 17, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Unified Code Count is a Software Metrics Tool that parses over 20 different programming languages to find Logical and Physical source lin…☆11Sep 22, 2021Updated 5 years ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Sep 30, 2015Updated 11 years ago
- A distributed key-value cache with builtin materialized views.☆25Nov 14, 2014Updated 11 years ago
- Code from MSc thesis on combining learning and fuzzing☆20Jul 30, 2018Updated 8 years ago
- K semantics for Solana☆16Jun 23, 2026Updated 3 months ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆47Apr 28, 2015Updated 11 years ago
- Boozy streaming library☆16May 14, 2022Updated 4 years ago
- A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.☆28Jan 1, 2026Updated 9 months ago
- Use Travis CI with Racket☆43Feb 27, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- modern embeddable, transactional key-value database designed for a high load☆15Dec 5, 2013Updated 12 years ago
- Explore Operational Domains of SiDB logic gates☆27Updated this week
- Racket port of the nanopass-framework☆34May 1, 2021Updated 5 years ago
- analyze code size via nm/objdump output☆86Apr 30, 2015Updated 11 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Aug 8, 2026Updated 2 months ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆52Feb 28, 2017Updated 9 years ago
- A wrapper around `anchor test` for computing test coverage☆15Oct 6, 2026Updated last week