BDD based DQBF solver
☆13Dec 8, 2022Updated 3 years ago
Alternatives and similar repositories for DQBDD
Users that are interested in DQBDD 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 DQBF solver leveraging definability.☆13Aug 8, 2024Updated 2 years ago
- ☆39May 13, 2026Updated 5 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆42Nov 20, 2023Updated 2 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- CMSGen, a fast weighted uniform-like sampler☆12Nov 26, 2025Updated 11 months 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.
- Synthesis Format Conversion Tool☆28Nov 18, 2025Updated 11 months ago
- Repository of benchmarks for SYNTCOMP☆17Updated this week
- CNF preprocessor and functional synthesis tool☆28Oct 28, 2026Updated last week
- A tool for weighted model counting through tensor network contraction☆21Nov 13, 2021Updated 4 years ago
- LLM-legible version of Michael Hodel's arc-dsl☆10Jan 13, 2025Updated last year
- ☆20Jan 20, 2026Updated 9 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 3 years ago
- Source codes that run on RPi for controlling the light hardware.☆14Mar 15, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Code for high-dimensional volume computation, Gaussian integration, and uniform/Gaussian sampling☆10Jun 18, 2022Updated 4 years ago
- The first efficient procedure to test whether a sampler is uniform☆14Mar 27, 2025Updated last year
- Entry to model counting competition 2021.☆26Jun 25, 2024Updated 2 years ago
- Regular Omega Language Learning Library☆12Jan 17, 2025Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆37Oct 26, 2026Updated last week
- Dimacs CNF utilities☆21Sep 29, 2026Updated last month
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆30Nov 5, 2025Updated last year
- Blockchain simulation with a web interface on Flask☆16May 1, 2023Updated 3 years ago
- All in one Docker image for Seafile 7. Includes MariaDB, Memcached and NGINX. Works with Synology!☆20Aug 1, 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.
- ☆12Sep 29, 2021Updated 5 years ago
- ☆28Feb 11, 2026Updated 8 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆42Apr 11, 2023Updated 3 years ago
- A tool for visualization of data structures and algorithms.☆19Nov 10, 2023Updated 2 years ago
- Submission to PACE 17☆24Jan 9, 2025Updated last year
- ☆684Oct 23, 2026Updated 2 weeks ago
- An Extensible Framework for Hardware Verification and Debugging☆17Sep 14, 2022Updated 4 years ago
- TrojanSAINT: Gate-Level Netlist Sampling-Based Inductive Learning for Hardware Trojan Detection☆23Oct 3, 2023Updated 3 years ago
- Concurrent decision diagram framework written in Rust☆98Oct 30, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A fast and simple automata library☆55Updated this week
- A light weight coach mark library on react for guided UI experience and live tutorials.☆10Mar 8, 2023Updated 3 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- A data model system to use with react hooks☆13Jan 7, 2023Updated 3 years ago
- Manthan for Boolean function synthesis☆36Oct 3, 2026Updated last month
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- A script that can be used to cleanup previously transpiled typescript files☆12May 1, 2023Updated 3 years ago