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:
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆54Oct 20, 2020Updated 5 years ago
- ☆10Apr 13, 2024Updated last year
- A DAG processor and compiler for a tree-based spatial datapath.☆16Aug 24, 2022Updated 3 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.
- ☆19Nov 11, 2019Updated 6 years ago
- A Simple CDCL Solver☆35Mar 8, 2023Updated 3 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 years ago
- BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver☆11Mar 28, 2023Updated 3 years ago
- This is a PyTorch reimplementation of Influence Functions from the ICML2017 best paper: Understanding Black-box Predictions via Influence…☆17Jun 20, 2020Updated 5 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- A repository for the query-efficient black-box attack, SignHunter☆22Jan 15, 2020Updated 6 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
- ☆10Mar 13, 2023Updated 3 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.
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- ☆10Feb 2, 2023Updated 3 years ago
- ☆10Nov 17, 2022Updated 3 years ago
- A simple intermediate language for generating EVM bytecode.☆13Oct 17, 2024Updated last year
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18May 5, 2025Updated 10 months ago
- This repository contains a tutorial on how to build roll_up with☆10Mar 9, 2019Updated 7 years ago
- MIMEx: Intrinsic Rewards from Masked Input Modeling [NeurIPS 2023]☆16May 17, 2023Updated 2 years ago
- A python metamorphic engine for PE/PE+ files.☆15Jan 1, 2023Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆15Nov 15, 2025Updated 4 months ago
- ☆12Sep 19, 2024Updated last year
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Sep 14, 2020Updated 5 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- A standalone local search solver for general mixed integer programming☆45Mar 19, 2026Updated last week
- Spectral Alignment of Graphs☆11Mar 26, 2017Updated 9 years ago
- ☆17Mar 29, 2021Updated 4 years ago
- Determine which items to include in a knapsack to maximize total value, subject to a capacity.☆39Feb 27, 2026Updated last month
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆293Mar 12, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Vision Large Language Models trained on M3IT instruction tuning dataset☆17Aug 16, 2023Updated 2 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- Contrastive UCB: Provably Efficient Contrastive Self-Supervised Learning in Online Reinforcement Learning☆11Jun 16, 2022Updated 3 years ago
- Tool for locating patterns in (code) binaries, mainly for ROP addresses.☆18Jun 25, 2016Updated 9 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- the solustion to https://openai.com/requests-for-research☆12Mar 23, 2017Updated 9 years ago