A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
☆25Jan 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:
- Counterexample-Guided Learning of Monotonic Networks☆18May 19, 2022Updated 4 years ago
- ☆15Feb 4, 2020Updated 6 years ago
- The Source Code for WebCompass☆26May 2, 2026Updated 4 months ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 3 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆41Apr 11, 2023Updated 3 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.
- SATZilla SAT feature extraction tool☆15Mar 23, 2026Updated 6 months ago
- The SAT and QBF Programming Language Bule☆23Jul 18, 2026Updated 2 months ago
- Management of Benchmark Instances and Instance Attributes☆22Updated this week
- Iterate on LLM-based structured generation forward and backward☆24Mar 20, 2025Updated last year
- Problems and Results of IWLS 2022 Programming Contest☆24Apr 12, 2025Updated last year
- ☆37Apr 8, 2023Updated 3 years ago
- A certifier for bias in LLMs☆25Apr 11, 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
- ☆30Jun 25, 2024Updated 2 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.
- CoReRank: Ranking to Detect Users Involved in Blackmarket-based Collusive Retweeting Activities (WSDM 2019)☆12Feb 25, 2019Updated 7 years ago
- Repository for source code of RUBHUS☆12Dec 17, 2023Updated 2 years ago
- Temporal GNN Lightweight Framework☆31Apr 2, 2024Updated 2 years ago
- PyTorch implementation of "Recurrent Convolutional Neural Network for Text Classification"☆16Oct 20, 2020Updated 5 years ago
- Awesome machine learning for logic synthesis☆30Sep 21, 2022Updated 4 years ago
- Website for LINGUALYTICS package powered by pytorch☆17Nov 12, 2020Updated 5 years ago
- Implementation of language model papers along with several examples [NOT ALL WRITTEN FROM SCRATCH].☆12Oct 2, 2024Updated last year
- An advanced circuit-based sat solver☆39Feb 24, 2025Updated last year
- Beautiful static documentation for your API☆33May 28, 2024Updated 2 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.
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- Large Language Models(LLMs) of Code☆20Apr 23, 2023Updated 3 years ago
- ☆19Mar 29, 2026Updated 5 months ago
- ☆21Feb 25, 2026Updated 7 months ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆26May 31, 2023Updated 3 years ago
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- Code for tracelet-level symbolic execution☆18Sep 18, 2022Updated 4 years ago
- Visualizing ICLR submissions☆16Apr 27, 2023Updated 3 years ago
- Training a model without a dataset for natural language inference (NLI)☆25Aug 3, 2020Updated 6 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.
- Tartarus is a multi-agent emulator for Static as well as Mobile Agents.☆20Feb 25, 2023Updated 3 years ago
- ☆30Mar 11, 2025Updated last year
- Stochastic Physics-Informed Neural Networks: A Moment-Matching Framework for Learning Hidden Physics within Stochastic Differential Equat…☆14Dec 21, 2021Updated 4 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆46Jul 17, 2024Updated 2 years ago
- e☆43Apr 23, 2025Updated last year
- ☆34Oct 2, 2024Updated last year
- AmpleGCG: Learning a Universal and Transferable Generator of Adversarial Attacks on Both Open and Closed LLM☆87Nov 3, 2024Updated last year