Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
☆14May 24, 2018Updated 8 years ago
Alternatives and similar repositories for dpll-sat
Users that are interested in dpll-sat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- Simple SAT solver with CDCL implemented in Python☆19Jan 5, 2023Updated 3 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 6 years ago
- WARNING: The Qboost demo is now maintained in a different GitHub account. To find this repo, please visit dwave-examples/qboost.☆16Jun 21, 2022Updated 4 years ago
- Resources for Learning PLT Redex☆13Jul 24, 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.
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- Iterators and lazy evaluation using generics☆18Jun 2, 2023Updated 3 years ago
- Extended QCADesigner with estimation of energy dissipation☆20Aug 17, 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
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- A python client library for microRTS.☆20Feb 5, 2020Updated 6 years ago
- Run hardware descriptions on a quantum annealer☆25Sep 23, 2022Updated 4 years ago
- ☆28Jun 25, 2019Updated 7 years ago
- RAMP 4 - The Reusable Accessible Mapping Platform, fourth major version☆27Updated this week
- 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.
- A web interface for the SuiteSparse Matrix Collection, formerly known as the University of Florida Sparse Matrix Collection☆26Jun 5, 2025Updated last year
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 3 years ago
- Alloy*---Higher Order Logic for Alloy☆38Dec 28, 2019Updated 6 years ago
- Machine Learning MNIST training and image generation using a DVAE and GRBM.☆27Sep 16, 2026Updated last month
- Learning local search heuristics for Boolean satisfiability☆38May 8, 2024Updated 2 years ago
- Qiskit Camp Europe 2019 (winning project)☆32Oct 6, 2020Updated 6 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Tools for the Simulation and Execution of Quantum Annealing Algorithms☆40Sep 23, 2025Updated last year
- D-Wave PyTorch plugin for quantum-classical hybrid ML.☆40Sep 30, 2026Updated 3 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.
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- My Blog☆18Oct 17, 2026Updated last week
- compilers for arithmetic circuits☆14May 17, 2021Updated 5 years ago
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago
- A parser and AST for Lustre☆12Jul 6, 2026Updated 3 months ago
- Sentiment example using TypeChat with a self hosted LLM☆11Aug 1, 2023Updated 3 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 6 years ago
- Parse CL syntactic constructs in s-expression form (possibly represented as e.g. CSTs) and construct syntax trees☆10Nov 4, 2024Updated last year
- Snowflurry is an open source Julia-based software library for implementing quantum circuits, and then running them on quantum computers a…☆55Oct 28, 2025Updated 11 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.
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- A linearizability checker for concurrent data structures☆13Aug 3, 2023Updated 3 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- ☆12Sep 29, 2020Updated 6 years ago
- A Preprocessor for Verilog HDL written in C++☆11May 26, 2012Updated 14 years ago
- A simple BLIF (berkeley logic interchange format) parser☆11Dec 11, 2023Updated 2 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago