SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
☆21Sep 16, 2020Updated 5 years ago
Alternatives and similar repositories for SatPie
Users that are interested in SatPie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple SAT solver with CDCL implemented in Python☆19Jan 5, 2023Updated 3 years ago
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago
- Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm☆14May 24, 2018Updated 8 years ago
- Rule-Based Modeling and Simulation Gui☆12Jun 12, 2020Updated 6 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 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.
- [NeurIPS 2020, Spotlight] State-Adversarial DQN (SA-DQN) for robust deep reinforcement learning☆35Feb 22, 2021Updated 5 years ago
- BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver☆11Mar 28, 2023Updated 3 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Tutorial on Practical Numerical Optimization with SciPy, Estimagic and JAXopt - SciPy 2022☆21Jul 14, 2022Updated 4 years ago
- ☆14Oct 14, 2016Updated 9 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Dec 6, 2022Updated 3 years ago
- Pinjectra is a C/C++ OOP-like library that implements Process Injection techniques (with focus on Windows 10 64-bit)☆16Sep 4, 2020Updated 5 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Aug 12, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆10Nov 17, 2022Updated 3 years ago
- Large Language Models(LLMs) of Code☆20Apr 23, 2023Updated 3 years ago
- ☆10Feb 2, 2023Updated 3 years ago
- MIMEx: Intrinsic Rewards from Masked Input Modeling [NeurIPS 2023]☆16May 17, 2023Updated 3 years ago
- 用于在SJTU上海交通大学图书馆 / 馆藏数字资源服务平台 的图书下载器☆28Sep 6, 2023Updated 2 years ago
- LAYout with Gridded Objects☆35Jun 18, 2020Updated 6 years ago
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Sep 14, 2020Updated 5 years ago
- ☆13Jul 8, 2023Updated 3 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆17Mar 29, 2021Updated 5 years ago
- ☆12Sep 17, 2022Updated 3 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆295Mar 12, 2019Updated 7 years ago
- ☆30Mar 11, 2025Updated last year
- Vision Large Language Models trained on M3IT instruction tuning dataset☆17Aug 16, 2023Updated 2 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 15 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Contrastive UCB: Provably Efficient Contrastive Self-Supervised Learning in Online Reinforcement Learning☆12Jun 16, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- e☆42Apr 23, 2025Updated last year
- Official Code for paper "Towards Efficient and Effective Unlearning of Large Language Models for Recommendation" (Frontiers of Computer S…☆38Jul 19, 2024Updated 2 years ago
- ☆12May 22, 2016Updated 10 years ago
- A simple middleware to improving GPU utilization then speedup online inference.☆19Feb 22, 2021Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 9 years ago
- Memory-Based Meta-Learning on Non-Stationary Distributions☆18Mar 14, 2024Updated 2 years ago
- Yet another COOL Compiler Project.☆10Dec 28, 2016Updated 9 years ago