Boolean Expressions
☆21Nov 5, 2018Updated 7 years ago
Alternatives and similar repositories for boolexpr
Users that are interested in boolexpr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CDCL SAT-solver for GPUs☆12May 5, 2017Updated 8 years ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- yet another model checker☆21Updated this week
- Parellel (OpenCL-based) AES encryption for CPUs and GPUs☆16Mar 16, 2012Updated 14 years ago
- Python EDA☆344Dec 30, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Scripts or utilities for radare2☆15Sep 10, 2016Updated 9 years ago
- Qute: a dependency learning QBF solver.☆15Mar 11, 2026Updated 2 weeks ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Jun 3, 2023Updated 2 years ago
- Trying for all arch detour stuff now☆11Feb 10, 2017Updated 9 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆20Jun 22, 2025Updated 9 months ago
- ☆16Jul 9, 2019Updated 6 years ago
- SMT solver for the theory of floating-point arithmetic☆25Jan 30, 2018Updated 8 years ago
- Benchmarking AES-GCM on GPUs with OpenCL☆29Feb 8, 2016Updated 10 years ago
- ☆11Nov 29, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Library to manipulate and create Sourcetrail databases☆23May 27, 2025Updated 10 months ago
- Awk-like tool using python☆11Aug 4, 2020Updated 5 years ago
- Detect patterns of bad behavior in function calls☆25Jul 21, 2020Updated 5 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆23Jan 1, 2026Updated 2 months ago
- 百度图片批量下载器☆25Jul 12, 2017Updated 8 years ago
- A Node.js bridge to the Espresso heuristic logic minimizer original C code☆41Dec 7, 2022Updated 3 years ago
- Starting my 100 days verilog RTL, and basic system verilog coding challenge from , 21 may 2024☆25Mar 20, 2025Updated last year
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Jan 19, 2023Updated 3 years ago
- Mathematical expression evaluator with just in time code generation.☆12Apr 7, 2013Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Streaming JavaScript PLY parser☆16Jan 10, 2019Updated 7 years ago
- ARMv7 detour function for hooking junk (no thumb support, unaligned accesses are not atomic)☆16Feb 5, 2017Updated 9 years ago
- A slim, non-SWIG Python adapter to CTesseract (Tesseract OCR for C).☆24Apr 25, 2014Updated 11 years ago
- Makes it easy to convert Python data structures to JSON strings suitable for flot series and options☆25Sep 26, 2012Updated 13 years ago
- 🏃♀️🏃♂️ ⏳ A Julia wrapper for wasmtime☆13Oct 3, 2023Updated 2 years ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated 9 months ago
- Framework for studying cryptographic hash functions using SAT.☆10Dec 21, 2021Updated 4 years ago
- ☆10Sep 4, 2016Updated 9 years ago
- Python API to Unified Coverage Interoperability Standard (UCIS) Data☆32Mar 7, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Shared Library Injector on Android☆39Jul 18, 2018Updated 7 years ago
- A Constraint Solver☆12Dec 4, 2015Updated 10 years ago
- Prime backdooring procedure to allow fast factorization of semiprimes☆25Dec 10, 2021Updated 4 years ago
- JAX implementation of Graph Attention Networks☆13Jan 29, 2022Updated 4 years ago
- A Lua wrapper for the Arcade Learning Environment☆17May 9, 2014Updated 11 years ago
- Open-source privacy focused show downloader & tracker.☆12May 28, 2017Updated 8 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago