A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
☆23Jan 1, 2021Updated 5 years ago
Alternatives and similar repositories for CDCL-SAT
Users that are interested in CDCL-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:
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆21Sep 16, 2020Updated 5 years ago
- Counterexample-Guided Learning of Monotonic Networks☆18May 19, 2022Updated 4 years ago
- ☆15Feb 4, 2020Updated 6 years ago
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆39Aug 24, 2025Updated 9 months ago
- ☆10Aug 18, 2025Updated 10 months 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.
- Iterate on LLM-based structured generation forward and backward☆23Mar 20, 2025Updated last year
- Problems and Results of IWLS 2022 Programming Contest☆24Apr 12, 2025Updated last year
- This repository contains the replication package of our paper "Assessing the Security of GitHub Copilot’s Generated Code - A Targeted Rep…☆10Nov 16, 2023Updated 2 years ago
- An advanced circuit-based sat solver☆38Feb 24, 2025Updated last year
- sparse LU factorization and update☆18Feb 15, 2024Updated 2 years ago
- ☆57Jan 28, 2026Updated 4 months ago
- CoReRank: Ranking to Detect Users Involved in Blackmarket-based Collusive Retweeting Activities (WSDM 2019)☆12Feb 25, 2019Updated 7 years ago
- ☆29Jun 25, 2024Updated last year
- Repository for source code of RUBHUS☆12Dec 17, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆34Oct 2, 2024Updated last year
- Temporal GNN Lightweight Framework☆31Apr 2, 2024Updated 2 years ago
- Website for LINGUALYTICS package powered by pytorch☆17Nov 12, 2020Updated 5 years ago
- A Simple CDCL Solver☆36Mar 8, 2023Updated 3 years ago
- [NDSS 2024] ReqsMiner is an innovative fuzzing framework developed to discover previously unexamined inconsistencies in CDN forwarding re…☆25Jun 27, 2024Updated last year
- Awesome machine learning for logic synthesis☆30Sep 21, 2022Updated 3 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- Beautiful static documentation for your API☆33May 28, 2024Updated 2 years ago
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Mar 5, 2024Updated 2 years ago
- Code for tracelet-level symbolic execution☆18Sep 18, 2022Updated 3 years ago
- Stochastic Physics-Informed Neural Networks: A Moment-Matching Framework for Learning Hidden Physics within Stochastic Differential Equat…☆14Dec 21, 2021Updated 4 years ago
- Official code for the paper "PERL: Pivot-based Domain Adaptation for Pre-trained Deep Contextualized Embedding Models".☆15Dec 8, 2022Updated 3 years ago
- Official Code for Efficient and Effective Augmentation Strategy for Adversarial Training (NeurIPS-2022)☆17Mar 29, 2023Updated 3 years ago
- Tartarus is a multi-agent emulator for Static as well as Mobile Agents.☆20Feb 25, 2023Updated 3 years ago
- Is In-Context Learning Sufficient for Instruction Following in LLMs? [ICLR 2025]☆33Jan 23, 2025Updated last year
- Tools for managing BibTeX bibliographies: automatically update preprints to published versions and filter to only cited references.☆99Jun 12, 2026Updated last week
- JAX/Flax implimentation of 'Attention Is All You Need' by Vaswani et al. (https://arxiv.org/abs/1706.03762)☆15Aug 16, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A fast and easy adblockplus parser and matcher based on adblock-rust package☆28Feb 25, 2025Updated last year
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆54Oct 20, 2020Updated 5 years ago
- [ICML 2024] Official PyTorch implementation of the Vectorized Conditional Neural Field.☆18Aug 1, 2024Updated last year
- [ICLR 2025] Unintentional Unalignment: Likelihood Displacement in Direct Preference Optimization☆32Jan 7, 2026Updated 5 months ago
- Locality-sensitive hashing in PySpark.☆27Mar 11, 2015Updated 11 years ago
- Membership Inference Competition☆32Jun 12, 2023Updated 3 years ago
- Code for "Accurate Differential Operators for Hybrid Neural Fields", accepted at CVPR 2025☆28Jun 5, 2025Updated last year