master-keying / pblibView external linksLinks
A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
☆22Jul 18, 2024Updated last year
Alternatives and similar repositories for pblib
Users that are interested in pblib are comparing it to the libraries listed below
Sorting:
- Benchmark Generator for Global Routing☆13Jul 18, 2019Updated 6 years ago
- A constraint programming solver with support for proof logging☆17Nov 28, 2025Updated 2 months ago
- Pathfinder routing algorithm practice☆15May 2, 2017Updated 8 years ago
- ☆18Jun 17, 2020Updated 5 years ago
- fast probabilistic symmetry detection on graphs☆20Feb 4, 2026Updated last week
- SMT-based Simultaneous Place-&-Route for Standard Cell Synthesis for PROBE 2.0☆19Jul 22, 2020Updated 5 years ago
- The Standard Interface for Incremental Satisfiability Solving☆53Jun 28, 2022Updated 3 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Jan 1, 2026Updated last month
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Dec 6, 2022Updated 3 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆29Jan 12, 2026Updated last month
- The probSAT SAT Solver☆26Oct 21, 2022Updated 3 years ago
- Entry to model counting competition 2021.☆24Jun 25, 2024Updated last year
- A design automation framework to engineer decision diagrams yourself☆25Updated this week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 10 months ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Nov 13, 2017Updated 8 years ago
- Parallel Presolve for Integer and Linear Optimization☆84Jan 29, 2026Updated 2 weeks ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 2 years ago
- exemplar code to download all option chains for a symbol using pyetrade (V1 Etrade API)☆10Sep 28, 2021Updated 4 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- Framework for studying cryptographic hash functions using SAT.☆10Dec 21, 2021Updated 4 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Nov 19, 2023Updated 2 years ago
- A toolkit for SAT-based prototyping in Python☆444Feb 4, 2026Updated last week
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 7 months ago
- OpenTitan FI formal verification framework☆15Aug 29, 2023Updated 2 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 3 months ago
- Example for baking the current git commit hash into a bazel C++ project☆11Jan 25, 2022Updated 4 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- ☆10Feb 9, 2024Updated 2 years ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- LLVM 2.9 branch with TI C64x backend.☆11Oct 17, 2019Updated 6 years ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆42Jun 12, 2023Updated 2 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- ☆11Jul 1, 2025Updated 7 months ago
- AMD Software Development Kit 2.5 Sources☆10Feb 29, 2016Updated 9 years ago