Boolean satisfiability for propositional logic in Python
☆14Aug 19, 2025Updated 7 months ago
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:
- ML Basis for Poly/ML☆13Oct 18, 2025Updated 5 months 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 10 years ago
- OpenAI Gym environment for graph search problems such as shortest path.☆11Dec 24, 2019Updated 6 years ago
- TeX Parser in Haskell☆11Aug 12, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Interface for defining and solving SAT problems in Rust☆14Sep 1, 2016Updated 9 years ago
- A python client library for microRTS.☆20Feb 5, 2020Updated 6 years ago
- An extended parametrizing plugin of pytest.☆18Aug 7, 2024Updated last year
- Scheme on SECD☆43Feb 9, 2021Updated 5 years ago
- Tempest atmosphere / Earth-system model☆22Sep 1, 2022Updated 3 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- This is a mirror of the official cmucl repo at gitlab.common-lisp.net☆30Mar 28, 2026Updated 2 weeks ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32May 15, 2019Updated 6 years ago
- An intuitive platform for deploying the latest discoveries in healthcare AI to everybody's phones. Powered by PyTorch!☆10Aug 25, 2020Updated 5 years ago
- Bumps package versions☆16Jan 21, 2026Updated 2 months ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated 2 months ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Aug 13, 2020Updated 5 years ago
- Ansible module and connection plugin for Qubes OS☆14Feb 7, 2024Updated 2 years ago
- Source files for TheoremDep - a theorem dependency tracker☆22Aug 9, 2025Updated 8 months 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
- ☆30Jan 20, 2018Updated 8 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.
- One ring to rule them all machine provisioner for Lenovo P50, Lenovo P1 Gen 2 and Lenovo P16v Gen 1☆22Mar 30, 2026Updated last week
- IRC and Slack bot for Python - full featured yet extensible and customizable☆26May 14, 2025Updated 10 months ago
- Experiements on how conditional mutual information affects the performance of neural quantum states.☆13Oct 31, 2024Updated last year
- Python interpreter for Peter Landin's SECD abstract machine.☆43Apr 12, 2013Updated 13 years ago
- `diagnostic` makes it easier to build command line tools with great error reporting.☆31Mar 2, 2026Updated last month
- This repo is an approach to TDD in machine learning model operation. it covers project structure, testing essentials using pytest with Gi…☆15Dec 2, 2020Updated 5 years ago
- A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagatio…☆35Dec 7, 2025Updated 4 months ago
- A big, interactive table of package management tools in the Python ecosystem☆44Jan 24, 2023Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Android tracing letters using Canvas & Paint☆21Jul 23, 2019Updated 6 years ago
- Collaborative Filtering Quantum Infinite Restricted Boltzmann Machine☆13Sep 11, 2018Updated 7 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆40Mar 12, 2026Updated 3 weeks ago
- vscode support for chez shame☆10Dec 3, 2019Updated 6 years ago
- Fixed version of tg-cli with support of channels and groups.☆13Jul 7, 2017Updated 8 years ago
- Ooops, I wrote another Sphinx theme! [very WIP, do not use]☆39Updated this week
- Use 'Browser - Cloud' in ArmorPaint instead.☆10Apr 5, 2021Updated 5 years ago