The #SAT solver sharpSAT
☆64Aug 28, 2022Updated 4 years ago
Alternatives and similar repositories for sharpSAT
Users that are interested in sharpSAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Entry to model counting competition 2021.☆26Jun 25, 2024Updated 2 years ago
- Approximate Model Counter☆92Oct 10, 2026Updated 3 weeks ago
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- ☆20Jan 20, 2026Updated 9 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆40Mar 25, 2025Updated last year
- 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.
- ☆12Sep 29, 2021Updated 5 years ago
- ☆22May 25, 2017Updated 9 years ago
- A DQBF solver leveraging definability.☆13Aug 8, 2024Updated 2 years ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated last year
- ☆19May 12, 2025Updated last year
- Dimacs CNF utilities☆21Sep 29, 2026Updated last month
- Submission to PACE 17☆24Jan 9, 2025Updated last year
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 4 years ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆14Apr 17, 2026Updated 6 months 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.
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Jan 19, 2023Updated 3 years ago
- An advanced SAT solver☆943Oct 22, 2026Updated last week
- SAT instance generator for SHA-1☆52Feb 12, 2021Updated 5 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 9 years ago
- Language server protocol for the Universal Variability Language (UVL)☆12Oct 31, 2024Updated 2 years ago
- Cube-and-Conquer SAT solver☆45Jul 14, 2025Updated last year
- ☆11Feb 14, 2020Updated 6 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 6 years ago
- CUDD Decision Diagram Package☆171Dec 12, 2025Updated 10 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Abductive discourse pipeline for multilingual metaphor interpretation☆10Mar 11, 2020Updated 6 years ago
- A toolbox for knowledge compilation☆29Nov 25, 2025Updated 11 months ago
- RevKit: Python quantum compilation library and framework☆32Apr 29, 2019Updated 7 years ago
- BDD based DQBF solver☆13Dec 8, 2022Updated 3 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- Hitachi Hi-Kumo bridge to HomeAssistant over MQTT☆13Dec 12, 2023Updated 2 years ago
- Extension of Microsoft Q# resource estimator for cat qubits + repetition code☆12Oct 12, 2026Updated 3 weeks ago
- An abductive reasoning engine written in C++.☆13Dec 28, 2018Updated 7 years ago
- ☆10May 25, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An efficient minimal perfect hash function generator for small sets☆12Dec 12, 2020Updated 5 years ago
- A toolkit for SAT-based prototyping in Python☆466Updated this week
- Dynamic Clifford+T surface code compiler☆18Updated this week
- ☆13Aug 5, 2025Updated last year
- Efficient resubstitution-based approximate logic synthesis☆12Aug 11, 2026Updated 2 months ago
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆19Sep 30, 2026Updated last month
- Boolean expression parser☆10Dec 19, 2022Updated 3 years ago