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
- The public repository for the Core library of the Masala software suite. Masala is a set of free and open-source tools for biomolecular …☆10Oct 7, 2026Updated last month
- Quantum Machine Learning R&D☆13Apr 17, 2019Updated 7 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
- Quantum Wordle☆16Updated this week
- 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☆17Nov 4, 2024Updated 2 years ago
- 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
- A web interface for the SuiteSparse Matrix Collection, formerly known as the University of Florida Sparse Matrix Collection☆26Jun 5, 2025Updated last year
- Machine Learning MNIST training and image generation using a DVAE and GRBM.☆27Oct 28, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Print and ebook friendly versions of lesswrong.com sequences☆33Mar 16, 2011Updated 15 years ago
- OverCode's public repo (OverCode 2.0 is still a private repo and will hopefully be released soon). See http://people.csail.mit.edu/elg/ov…☆25Oct 19, 2016Updated 10 years ago
- Learning local search heuristics for Boolean satisfiability☆38May 8, 2024Updated 2 years ago
- ☆27Dec 1, 2022Updated 3 years ago
- D-Wave PyTorch plugin for quantum-classical hybrid ML.☆41Oct 28, 2026Updated 2 weeks ago
- Experiment egg for taichi☆11Dec 29, 2022Updated 3 years ago
- Regular Omega Language Learning Library☆12Jan 17, 2025Updated last year
- My Blog☆18Nov 6, 2026Updated last week
- 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.
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- Sentiment example using TypeChat with a self hosted LLM☆11Aug 1, 2023Updated 3 years ago
- Parse CL syntactic constructs in s-expression form (possibly represented as e.g. CSTs) and construct syntax trees☆10Nov 4, 2024Updated 2 years ago
- Collection of various ulx3s examples☆13Oct 5, 2020Updated 6 years ago
- Korn - C Verification with Loop Invariants and Summaries☆12Oct 26, 2026Updated 2 weeks ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 7 years ago
- A linearizability checker for concurrent data structures☆13Aug 3, 2023Updated 3 years ago
- Play with LLaMA & GPT-3!☆10May 29, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tool to convert Verilog RTL file generated from Xilinx Vivado HLS to an equivalent C Code.☆12Jun 16, 2021Updated 5 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- A simple BLIF (berkeley logic interchange format) parser☆11Dec 11, 2023Updated 2 years ago
- ☆12Sep 29, 2020Updated 6 years ago
- compilers for arithmetic circuits☆14May 17, 2021Updated 5 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
Are these results useful?