Boolean satisfiability for propositional logic in Python
☆15Aug 19, 2025Updated last year
Alternatives and similar repositories for DPLL
Users that are interested in DPLL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- A "small" LISP interpreter written in C++☆12Dec 12, 2014Updated 11 years ago
- https://www.gnu.org/software/mit-scheme/☆10Jun 15, 2012Updated 14 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- TeX Parser in Haskell☆11Aug 12, 2017Updated 9 years ago
- Interface for defining and solving SAT problems in Rust☆14Sep 1, 2016Updated 10 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 9 months ago
- A “Hello World” of calling Rust code from a Python program with CFFI, in order to show packaging issues☆12Jul 14, 2016Updated 10 years ago
- Learn You Some Algebras for Glorious Good!☆17Jan 1, 2015Updated 11 years ago
- the Art of the Propagator☆52Oct 20, 2012Updated 14 years ago
- Ruby gem to consolidate multiple EARL reports and generate a rollup conformance report☆14Mar 7, 2024Updated 2 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Aug 24, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago
- Library for simulating time progression in Python☆16Aug 16, 2025Updated last year
- .NET Templating Engine☆17Updated this week
- SAT Live! web site☆11Jul 19, 2026Updated 3 months ago
- Troubleshooting tool for Task Scheduler functions and connectivity.☆15Sep 4, 2020Updated 6 years ago
- Corotwine is a coroutine-based API that uses Twisted as its event loop.☆10Jan 23, 2017Updated 9 years ago
- mark/sweep garbage collector for C☆30Mar 24, 2012Updated 14 years ago
- An edn library for python.☆11May 29, 2015Updated 11 years ago
- ☆10Feb 11, 2014Updated 12 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- This repository was originally intended to be a successor to d2to1, but it is now long obsolete since PEP 518, modern setuptools, etc.☆21Dec 27, 2014Updated 11 years ago
- This is sample code accompanying my presentation "Faking Homoiconicity in C# with graphs".☆11Jun 27, 2013Updated 13 years ago
- ☆12Jun 30, 2022Updated 4 years ago
- Source files for TheoremDep - a theorem dependency tracker☆22May 17, 2026Updated 5 months ago
- Lock-free message passing over shared memory for a single producer and consumer☆11Nov 18, 2010Updated 15 years ago
- Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.☆18Aug 21, 2015Updated 11 years ago
- TCP & HTTP RPC Servers built on msgpack and gevent☆12Oct 22, 2019Updated 7 years ago
- A WebAssembly-based linear constraint solver for JavaScript☆13Aug 31, 2017Updated 9 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.
- Qualia is a MVC-ish UI framework heavily inspired by React+Flux and FSharp.Desktop.UI The goal is to provide a decoupled architecture usi…☆12Mar 5, 2018Updated 8 years ago
- 500 Lines or Less☆12Sep 5, 2016Updated 10 years ago
- Sln parser☆14Oct 18, 2020Updated 6 years ago
- Render a razor template and save it to a file from command line.☆11Jan 26, 2012Updated 14 years ago
- ☆13Aug 15, 2023Updated 3 years ago
- Separate your retry logic from your business logic☆13Aug 22, 2016Updated 10 years ago
- Simple library that warms up Neo4j caches with a single REST call☆10Jul 5, 2016Updated 10 years ago