Python bindings to picosat (a SAT solver)
☆194Sep 1, 2026Updated 2 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:
- F L i P : Logical Framework in Python☆37Oct 17, 2022Updated 4 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Go (golang) bindings for Picosat, the satisfiability solver☆16Feb 18, 2018Updated 8 years ago
- ☆12Sep 29, 2020Updated 6 years ago
- Simple recursive and iterative SAT solver written in Python.☆124Mar 2, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- pySMT: A library for SMT formulae manipulation and solving☆641Oct 6, 2026Updated 3 weeks ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆75Jul 23, 2026Updated 3 months ago
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- Folds captured output sections in Travis CI build log☆14Dec 13, 2022Updated 3 years ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆359Aug 23, 2024Updated 2 years ago
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- New polynomial manipulation algorithms for SymPy.☆14Apr 21, 2011Updated 15 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆35Jun 8, 2021Updated 5 years 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.
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Dec 12, 2014Updated 11 years ago
- Generic unification-based type inference library☆25May 20, 2015Updated 11 years ago
- An app for adding licenses to projects☆11Mar 13, 2018Updated 8 years ago
- SAT Solver SATCH☆127Feb 10, 2026Updated 8 months ago
- CaDiCaL SAT Solver☆629Updated this week
- RevKit: Python quantum compilation library and framework☆32Apr 29, 2019Updated 7 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆60Mar 3, 2020Updated 6 years ago
- A toolkit for SAT-based prototyping in Python☆466Oct 20, 2026Updated 2 weeks ago
- A multi-threaded work queue for LLVM functions☆14Jul 26, 2013Updated 13 years 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.
- C implementation of Python 3 lru_cache☆156Apr 8, 2020Updated 6 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- This project is no longer maintained here, instead, for Python < 3.4, please see 'https://github.com/haypo/pytracemalloc', maintained by …☆91Oct 13, 2021Updated 5 years ago
- Generate Software Bill-of-Materials (SBOMs) for Python environments from distribution metadata☆12Jul 12, 2024Updated 2 years ago
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆34Jan 17, 2022Updated 4 years ago
- ☆682Oct 23, 2026Updated last week
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆21Sep 16, 2020Updated 6 years ago
- Multiple dispatch☆849Dec 5, 2024Updated last year
- Logics is a Python framework for mathematical logic☆28May 8, 2025Updated last year
- 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.
- Haskell bindings for libNVVM☆20Apr 1, 2014Updated 12 years ago
- A system to Instrument running Python code☆27Jun 17, 2025Updated last year
- A pylons-based web application that calculates non-conflicting schedules at the University of Waterloo, and allows the user to choose the…☆14Oct 22, 2011Updated 15 years ago
- [This repo is deprecated, see the main PyDy repository] A collection of PyDy examples.☆19Apr 13, 2014Updated 12 years ago
- 👷♀️ A simpler way to build HTML 🧱☆12Jan 3, 2023Updated 3 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 9 years ago
- Development repo for evolution of PyPA interoperability standards (released versions are published as PEPs on python.org)☆24Aug 9, 2020Updated 6 years ago