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 6 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
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆54Oct 20, 2020Updated 6 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆35Jun 8, 2021Updated 5 years ago
- Rule-Based Modeling and Simulation Gui☆12Jun 12, 2020Updated 6 years ago
- Towards Robust Interpretability with Self-Explaining Neural Networks, Alvarez-Melis et al. 2018☆15Oct 28, 2019Updated 7 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.
- ☆20Nov 11, 2019Updated 6 years ago
- This is a PyTorch reimplementation of Influence Functions from the ICML2017 best paper: Understanding Black-box Predictions via Influence…☆17Jun 20, 2020Updated 6 years ago
- SAT Solver SATCH☆127Feb 10, 2026Updated 8 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Kernel Shellcode to add all privileges in token☆15Mar 13, 2017Updated 9 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 6 years ago
- PyTorch implementation of "Recurrent Convolutional Neural Network for Text Classification"☆16Oct 20, 2020Updated 6 years ago
- ☆12Sep 29, 2020Updated 6 years ago
- An Attribute Grammar Fuzzer☆11Aug 21, 2014Updated 12 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆20May 5, 2025Updated last year
- Fast QP Solver in JAX☆28Aug 29, 2024Updated 2 years ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Aug 12, 2023Updated 3 years ago
- 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
- ☆18Mar 20, 2017Updated 9 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆75Jul 23, 2026Updated 3 months ago
- Windows hard shutdown shellcode. Don't need administrator rights.☆14Mar 31, 2016Updated 10 years ago
- This repository contains a tutorial on how to build roll_up with☆10Mar 9, 2019Updated 7 years ago
- ☆22Feb 25, 2026Updated 8 months 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.
- ☆10Feb 2, 2023Updated 3 years ago
- Counterfactual Evaluation and Learning for Interactive Systems: Foundations, Implementations, and Recent Advances☆12Aug 14, 2022Updated 4 years ago
- Automatic hacking tool for URL regexes.☆11Feb 12, 2021Updated 5 years ago
- Code for "Unifying Grokking and Double Descent" from the NeurIPS 2022 ML Safety Workshop.☆11Feb 17, 2023Updated 3 years ago
- ☆17Mar 29, 2021Updated 5 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 6 years ago
- In-context Example Selection with Influences☆15May 12, 2023Updated 3 years ago
- The implementation of HyperND from the Nonlinear Feature Diffusion on Hypergraphs paper☆14Jun 6, 2022Updated 4 years ago
- Code for the paper "Data Feedback Loops: Model-driven Amplification of Dataset Biases"☆18Sep 9, 2022Updated 4 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.
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Sep 14, 2020Updated 6 years ago
- ☆12Oct 7, 2026Updated 3 weeks ago
- This is the (official) documentation for QA DDT☆22Feb 3, 2021Updated 5 years ago
- ☆10Nov 17, 2022Updated 3 years ago
- DualMap: Enabling Both Cache Affinity and Load Balancing for Distributed LLM Serving☆15Jul 7, 2026Updated 3 months ago
- Exploring Lottery Ticket Hypothesis in Sparse Spiking Neural Networks (ECCV2022, oral presentation)☆36Jul 18, 2022Updated 4 years ago
- Crypto DEX monitor for atomic arbitrage trading☆12Jan 9, 2019Updated 7 years ago