Python bindings to picosat (a SAT solver)
☆193Aug 26, 2025Updated 7 months ago
Alternatives and similar repositories for pycosat
Users that are interested in pycosat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Plugin manager using Qt framework to create Qt application based on custom loadable plugins☆12Oct 12, 2023Updated 2 years ago
- F L i P : Logical Framework in Python☆37Oct 17, 2022Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- ☆14Apr 9, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A minimalistic and high-performance SAT solver☆1,149Apr 28, 2024Updated last year
- State-of-the-art in reversible logic synthesis☆25Jul 16, 2016Updated 9 years ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆357Aug 23, 2024Updated last year
- pySMT: A library for SMT formulae manipulation and solving☆630Mar 4, 2026Updated 3 weeks ago
- An interface to SAT solver tools (like minisat)☆62Dec 16, 2025Updated 3 months ago
- Linear algebra utilities for Python☆13Oct 28, 2025Updated 4 months ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- SMTInterpol interpolating SMT solver☆71Updated this week
- 👷♀️ A simpler way to build HTML 🧱☆12Jan 3, 2023Updated 3 years ago
- 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.
- Development repo for evolution of PyPA interoperability standards (released versions are published as PEPs on python.org)☆22Aug 9, 2020Updated 5 years ago
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆21Sep 16, 2020Updated 5 years ago
- A thin wrapper of HTTPretty for pytest☆21May 26, 2019Updated 6 years ago
- Repository of benchmarks for SYNTCOMP☆14Mar 20, 2026Updated last week
- Pythonic redux☆23Jan 25, 2019Updated 7 years ago
- certifi-system-store, a certifi hack to use system trust store on Linux and FreeBSD☆15Jul 22, 2024Updated last year
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆22May 6, 2021Updated 4 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆20Jun 22, 2025Updated 9 months ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Nov 14, 2025Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Simple HTTP redirector for tmpnb nodes☆12Sep 20, 2017Updated 8 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆71Mar 9, 2026Updated 2 weeks ago
- __qualname__ emulation for older Python versions☆26May 25, 2020Updated 5 years ago
- Like cookiecutter_pypackage, but for just a module.☆14Jul 27, 2016Updated 9 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆23Jan 1, 2026Updated 2 months ago
- SAT Solver SATCH☆121Feb 10, 2026Updated last month
- ☆15Nov 3, 2018Updated 7 years ago
- Describe your scikit-learn estimators for posterity!☆15Dec 22, 2016Updated 9 years ago
- CaDiCaL SAT Solver☆535Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Deprecated: A pytest plugin for running failing tests one at a time☆16Nov 15, 2018Updated 7 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- Just a small shim around cookiecutter that alters a bit the CLI to work better when reapplying templates to existing projects.☆19Sep 9, 2022Updated 3 years ago
- ☆11Oct 20, 2017Updated 8 years ago
- ☆11Jun 29, 2018Updated 7 years ago
- A skip dict is a Python dictionary which is permanently sorted by value.☆19Sep 25, 2014Updated 11 years ago
- Pick a license, any license.☆13Feb 7, 2016Updated 10 years ago