☆18May 12, 2025Updated last year
Alternatives and similar repositories for d4v2
Users that are interested in d4v2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- Entry to model counting competition 2021.☆26Jun 25, 2024Updated 2 years ago
- Reasoning over weighted algebraic and logical constraints☆26Apr 30, 2026Updated 6 months ago
- High-performance model counter☆66Oct 25, 2026Updated last week
- Constraint Solver ACE☆41Oct 8, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆42May 22, 2026Updated 5 months ago
- A tool for weighted model counting through tensor network contraction☆21Nov 13, 2021Updated 4 years ago
- A DQBF solver leveraging definability.☆13Aug 8, 2024Updated 2 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Oct 11, 2021Updated 5 years ago
- A toolbox for knowledge compilation☆29Nov 25, 2025Updated 11 months ago
- PAL - your probabilistic algebraic layer☆14May 28, 2026Updated 5 months ago
- A Python Library for modeling combinatorial constrained problems☆89Updated this week
- An exact weighted model counter based on algebraic decision diagrams☆10Jul 12, 2026Updated 3 months ago
- Qute: a dependency learning QBF solver.☆18Mar 31, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- XCSP3 Core Parser in C++☆20Oct 16, 2026Updated 2 weeks ago
- Multi-terminal and Edge-valued Decision Diagram LibrarY☆16Updated this week
- The #SAT solver sharpSAT☆64Aug 28, 2022Updated 4 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆26Dec 6, 2022Updated 3 years ago
- Obsolete☆14Mar 7, 2023Updated 3 years ago
- ☆32Nov 2, 2025Updated 11 months ago
- Blueimp file upload widget for Yii2 framework☆12Dec 22, 2016Updated 9 years ago
- ☆22May 25, 2017Updated 9 years ago
- Distributed SMT Solving Based on Dynamic Variable-level Partitioning☆18Aug 21, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Bias detection and contextual evaluation tool for your AI projects☆30Oct 15, 2026Updated 2 weeks ago
- ☆12Sep 29, 2021Updated 5 years ago
- XCSP3 Tools in Java☆27Sep 10, 2026Updated last month
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆24Jul 18, 2024Updated 2 years ago
- UniGen approximately uniform sampler☆39Jul 24, 2025Updated last year
- Official repository for SDFoam: Signed-Distance Foam for explicit surface reconstruction☆28Jun 20, 2026Updated 4 months ago
- ☆23Jan 19, 2023Updated 3 years ago
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 4 years ago
- Certify Model Checking Witnesses in AIGER☆14Oct 16, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.☆11Dec 11, 2025Updated 10 months ago
- My unofficial picat http://picat-lang.org/ repository☆32Jan 11, 2024Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- 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
- Automate input downloads and solution creation for Advent of Code☆17Dec 1, 2022Updated 3 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- BDD based DQBF solver☆13Dec 8, 2022Updated 3 years ago