Simple recursive and iterative SAT solver written in Python.
☆124Mar 2, 2019Updated 7 years ago
Alternatives and similar repositories for simple-sat
Users that are interested in simple-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:
- A minimalistic and high-performance SAT solver☆1,164Apr 28, 2024Updated 2 years ago
- MonoSAT - An SMT solver for Monotonic Theories☆116Mar 21, 2025Updated last year
- ☆13Oct 14, 2016Updated 9 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆24Jan 1, 2026Updated 4 months ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 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.
- The Stochastic Local Search SAT Solver from UBC☆32Apr 10, 2022Updated 4 years ago
- Lingeling SAT Solver☆106Mar 12, 2024Updated 2 years ago
- A toolkit for SAT-based prototyping in Python☆453Updated this week
- exactly rounded double-precision summation for Julia☆20Apr 20, 2026Updated last month
- Python bindings to picosat (a SAT solver)☆194Updated this week
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- An example of a simple project in OCaml that uses Merlin☆37May 28, 2015Updated 10 years ago
- An advanced SAT solver☆933Updated this week
- A modern tool for data exploration☆16Feb 8, 2020Updated 6 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.
- ☆28Sep 27, 2024Updated last year
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Analyzer and simulator of logic circuit☆15May 8, 2017Updated 9 years ago
- Simple SAT Solver written in Go☆20May 29, 2022Updated 3 years ago
- lazy continued fractions☆19Aug 5, 2015Updated 10 years ago
- DEPRECATED: System modelling and fault-injection-based resilience assessment in Python☆10Mar 17, 2022Updated 4 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆294Mar 12, 2019Updated 7 years ago
- Serializes RDF from a SPARQL endpoint to JSON-LD documents☆10Sep 11, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [DAC2024] Explainable Fuzzy Neural Network with Multi-Fidelity Reinforcement Learning for Micro-Architecture Design Space Exploration☆10Oct 31, 2024Updated last year
- Perl 6 implementation of GraphQL☆18Jun 13, 2024Updated last year
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Sep 16, 2022Updated 3 years ago
- Book lucid interpreter written in python☆25Jul 8, 2019Updated 6 years ago
- Implementation of Conway's Surreal Numbers☆39Updated this week
- [HKUST Template] A latex template for PhD Qualification Exam (AKA PQE), especially for ECE from 2022 and later.☆14Jan 2, 2023Updated 3 years ago
- The WaveScope/WaveScript project is migrating to github from MIT-hosted SVN.☆12Dec 3, 2014Updated 11 years ago
- Interactive, regex-based folding☆15Jun 15, 2015Updated 10 years ago
- A comparison of Regular Expression features in various languages and libraries.☆18May 8, 2024Updated 2 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.
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- A package for computing integrals over domains like they are defined in DomainSets.jl.☆22Apr 7, 2026Updated last month
- Thesis code☆26Aug 16, 2023Updated 2 years ago
- Husk is an implementation of the Scheme programming language for the Haskell Platform.☆11Mar 13, 2019Updated 7 years ago
- Anil's OCaml Claude plugin collection☆31Mar 31, 2026Updated last month
- Tuffy, a Markov Logic Network solver☆26Nov 21, 2014Updated 11 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago