Python bindings to picosat (a SAT solver)
☆192Aug 26, 2025Updated 6 months ago
Alternatives and similar repositories for pycosat
Users that are interested in pycosat are comparing it to the libraries listed below
Sorting:
- Folds captured output sections in Travis CI build log☆13Dec 13, 2022Updated 3 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 11 months ago
- Development repo for evolution of PyPA interoperability standards (released versions are published as PEPs on python.org)☆22Aug 9, 2020Updated 5 years ago
- An old and good virtual keyboard☆18Sep 16, 2025Updated 5 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- An advanced SAT solver☆913Feb 27, 2026Updated last week
- Boolean Expressions☆21Nov 5, 2018Updated 7 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Jan 1, 2026Updated 2 months ago
- Simple HTTP redirector for tmpnb nodes☆12Sep 20, 2017Updated 8 years ago
- 👷♀️ A simpler way to build HTML 🧱☆12Jan 3, 2023Updated 3 years ago
- __qualname__ emulation for older Python versions☆26May 25, 2020Updated 5 years ago
- A system to Instrument running Python code☆25Jun 17, 2025Updated 8 months ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆71Aug 11, 2025Updated 6 months ago
- A minimalistic and high-performance SAT solver☆1,145Apr 28, 2024Updated last year
- Test utilities for Python code working with files and commands☆31Nov 25, 2025Updated 3 months ago
- The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.☆29Feb 27, 2026Updated last week
- State-of-the-art in reversible logic synthesis☆24Jul 16, 2016Updated 9 years ago
- Lingeling SAT Solver☆105Mar 12, 2024Updated last year
- Simple recursive and iterative SAT solver written in Python.☆123Mar 2, 2019Updated 7 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- CDCL SAT-solver for GPUs☆12May 5, 2017Updated 8 years ago
- ☆11Sep 29, 2021Updated 4 years ago
- Plugin manager using Qt framework to create Qt application based on custom loadable plugins☆12Oct 12, 2023Updated 2 years ago
- My scholarly markdown setup☆10Feb 18, 2015Updated 11 years ago
- C implementation of Python 3 lru_cache☆158Apr 8, 2020Updated 5 years ago
- F L i P : Logical Framework in Python☆37Oct 17, 2022Updated 3 years ago
- Reads a state transition system and performs property checking☆90Sep 12, 2025Updated 5 months ago
- Weighted Wang tiling.☆12May 21, 2015Updated 10 years ago
- ☆14Sep 14, 2020Updated 5 years ago
- Supplementary files for SSFT 2015 summer school☆11Sep 5, 2019Updated 6 years ago
- Pick a license, any license.☆13Feb 7, 2016Updated 10 years ago
- Linear algebra utilities for Python☆13Oct 28, 2025Updated 4 months ago
- A runbook for the PSF, for TUF key setup and initial signing operations to bootstrap signing for PyPI.☆16Jun 7, 2022Updated 3 years ago
- Test-driven source code search for Python.☆27Oct 21, 2021Updated 4 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 8 years ago
- An interface to SAT solver tools (like minisat)☆62Dec 16, 2025Updated 2 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago