Verifier for pseudo-Boolean proofs
☆15Oct 6, 2022Updated 3 years ago
Alternatives and similar repositories for VeriPB
Users that are interested in VeriPB are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A constraint programming solver with support for proof logging☆19Updated this week
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- Delta-Debugging of MIP-Solvers☆14Jul 2, 2025Updated 11 months ago
- Qute: a dependency learning QBF solver.☆16Mar 31, 2026Updated 2 months ago
- ☆32Feb 22, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A CP Portfolio Solver☆27Apr 18, 2023Updated 3 years ago
- ☆11Jul 21, 2022Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆56Jun 28, 2022Updated 3 years ago
- Parallel solvers for hard problems☆12Oct 12, 2022Updated 3 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 3 years ago
- Parallel Presolve for Integer and Linear Optimization☆87May 28, 2026Updated last week
- Dimacs CNF utilities☆21Mar 28, 2026Updated 2 months ago
- A tool for parallel and distributed enumeration of cliques and diameter two kplexes.☆15Dec 24, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yuck is a local-search constraint solver with FlatZinc interface☆62Mar 22, 2026Updated 2 months ago
- ☆20May 1, 2026Updated last month
- An open implementation of the MC family of maximum clique algorithms☆13Aug 4, 2016Updated 9 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆27May 13, 2026Updated 3 weeks ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆15Mar 5, 2026Updated 3 months ago
- OVAL framework for BaB-based Neural Network Verification☆18May 8, 2026Updated last month
- Kidney paired donation optimization code☆16May 16, 2020Updated 6 years ago
- Generators for Combinatorial Optimization☆20May 16, 2023Updated 3 years ago
- ☆17May 29, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Conjure: The Automated Constraint Modelling Tool☆115Jun 2, 2026Updated last week
- The Pseudo-Boolean Solver MiniSat+☆29Oct 2, 2012Updated 13 years ago
- Sources for algorithm selection for combinatorial search problems survey☆17Jul 10, 2019Updated 6 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Dec 5, 2025Updated 6 months ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- DRAT/DPR proof checker☆10Feb 12, 2022Updated 4 years ago
- ☆12Nov 29, 2023Updated 2 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- VSCode extension for Xonsh language support☆24Jun 2, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- On Simple Reactive Neural Networks for Behaviour-Based Reinforcement Learning by Ameya Pore and Gerardo Aragon-Camarasa☆11Jan 28, 2020Updated 6 years ago
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- my music queue, simple and shared music system.☆11Nov 3, 2016Updated 9 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆146Jun 3, 2026Updated last week
- 😆 Just commit with gitmoji, and you'll get auto versioning by semantic versioning and auto release to github.☆11Jul 9, 2023Updated 2 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆101Apr 3, 2026Updated 2 months ago